Making Bounded Model Checking Interprocedural in (Static Analysis) Style

Communications in Computer and Information Science - Tools and Methods of Program Analysis ◽

10.1007/978-3-030-71472-7_12 ◽

2021 ◽

pp. 142-154

Author(s):

Daniil Stepanov ◽

Marat Akhin ◽

Mikhail Belyaev

Keyword(s):

Model Checking ◽

Static Analysis ◽

Bounded Model Checking

Download Full-text

Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking

FM 2015: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19249-9_35 ◽

2015 ◽

pp. 573-576 ◽

Author(s):

Bharti Chimdyalwar ◽

Priyanka Darke ◽

Anooj Chavda ◽

Sagar Vaghani ◽

Avriti Chauhan

Keyword(s):

Model Checking ◽

Static Analysis ◽

Bounded Model Checking ◽

False Positives

Download Full-text

QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking

Lecture Notes in Computer Science - Software Verification ◽

10.1007/978-3-030-63618-0_2 ◽

2020 ◽

pp. 21-32

Author(s):

Marko Kleine Büning ◽

Carsten Sinz ◽

David Faragó

Keyword(s):

Model Checking ◽

Static Analysis ◽

Embedded Software ◽

Bounded Model Checking ◽

Analysis Tool ◽

Static Analysis Tool

Download Full-text

Bounded Model Checking for Probabilistic Computation Tree Logic

Journal of Software ◽

10.3724/sp.j.1001.2012.04089 ◽

2012 ◽

Vol 23 (7) ◽

pp. 1656-1668 ◽

Author(s):

Cong-Hua ZHOU ◽

Zhi-Feng LIU ◽

Chang-Da WANG

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Probabilistic Computation ◽

Computation Tree Logic ◽

Computation Tree

Download Full-text

Bounded model checking of high-integrity software

ACM SIGAda Ada Letters ◽

10.1145/2658982.2527288 ◽

2013 ◽

Vol 33 (3) ◽

pp. 9-10

Author(s):

Sagar Chaki

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Download Full-text

Contradictory antecedent debugging in bounded model checking

Proceedings of the 19th ACM Great Lakes symposium on VLSI - GLSVLSI '09 ◽

10.1145/1531542.1531586 ◽

2009 ◽

Author(s):

Daniel Grosse ◽

Robert Wille ◽

Ulrich Kuehne ◽

Rolf Drechsler

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

Fault Localization in Multi-threaded C Programs Using Bounded Model Checking

2015 Brazilian Symposium on Computing Systems Engineering (SBESC) ◽

10.1109/sbesc.2015.25 ◽

2015 ◽

Author(s):

Erickson H.S. Da Alves ◽

Lucas C. Cordeiro ◽

Eddie B. De Lima Filho

Keyword(s):

Model Checking ◽

Fault Localization ◽

Bounded Model Checking ◽

Download Full-text

Symbolic Causality Checking Using Bounded Model Checking

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23404-5_14 ◽

2015 ◽

pp. 203-221 ◽

Author(s):

Adrian Beer ◽

Stephan Heidinger ◽

Uwe Kühne ◽

Florian Leitner-Fischer ◽

Stefan Leue

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

Model checking driven static analysis for the real world: designing and tuning large scale bug detection

Innovations in Systems and Software Engineering ◽

10.1007/s11334-012-0192-5 ◽

2012 ◽

Vol 9 (1) ◽

pp. 45-56 ◽

Author(s):

Ansgar Fehnker ◽

Ralf Huuck

Keyword(s):

Model Checking ◽

Static Analysis ◽

Large Scale ◽

Bug Detection ◽

Download Full-text

An Incremental Algorithm to Check Satisfiability for Bounded Model Checking

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2004.06.062 ◽

2005 ◽

Vol 119 (2) ◽

pp. 51-65 ◽

Author(s):

HoonSang Jin ◽

Fabio Somenzi

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Incremental Algorithm

Download Full-text

Bounded Model Checking of an MITL Fragment for Timed Automata

2013 13th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2013.25 ◽

2013 ◽

Author(s):

Roland Kindermann ◽

Tommi Junttila ◽

Ilkka Niemela

Keyword(s):

Model Checking ◽

Timed Automata ◽

Bounded Model Checking

Download Full-text