IEEE - Institute of Electrical and Electronics Engineers, Inc. - Completeness in SMT-based BMC for Software Programs

Design, Automation & Test in Europe. DATE'08

Author(s): M.K. Ganai ; A. Gupta
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2008
Conference Location: Munich, Germany
Conference Date: 10 March 2008
Page(s): 831 - 836
ISBN (CD): 978-3-9810801-4-8
ISBN (Paper): 978-3-9810801-3-1
DOI: 10.1109/DATE.2008.4484777
Regular:

Bounded Model Checking (BMC) is incomplete without a completeness threshold (CT) bound. Previous methods, using recurrence diameter for obtaining CT, check for existence of a longest loop-free... View More

Advertisement