IEEE - Institute of Electrical and Electronics Engineers, Inc. - Conversion of fast inter-procedural static analysis to model checking

2010 IEEE 26th International Conference on Software Maintenance (ICSM)

Author(s): Letarte, D.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2010
Conference Location: Timi oara, Romania, Romania
Conference Date: 12 September 2010
Page(s): 1 - 2
ISBN (Electronic): 978-1-4244-8629-8
ISBN (Paper): 978-1-4244-8630-4
ISBN (Online): 978-1-4244-8628-1
ISSN (Paper): 1063-6773
ISSN (Online): 1063-6773
DOI: 10.1109/ICSM.2010.5609537
Regular:

Large scale software model checking is a difficult problem in part because of the complexity created by inter-procedural function calling. Fastest current solution for this problem claim a... View More

Advertisement