Benefits of Bounded Model Checking at an Industrial Setting

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-44585-4_43 ◽

2001 ◽

pp. 436-453 ◽

Cited By ~ 78

Author(s):

Fady Copty ◽

Limor Fix ◽

Ranan Fraer ◽

Enrico Giunchiglia ◽

Gila Kamhi ◽

...

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Industrial Setting

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting

Journal of Automated Reasoning ◽

10.1007/s10817-010-9172-3 ◽

2010 ◽

Vol 45 (4) ◽

pp. 397-414 ◽

Cited By ~ 13

Author(s):

Damiano Angeletti ◽

Enrico Giunchiglia ◽

Massimo Narizzano ◽

Alessandra Puddu ◽

Salvatore Sabina

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Safety Critical ◽

Industrial Setting ◽

Coverage Analysis

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 ◽

Cited By ~ 6

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

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 ◽

High Integrity

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

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 ◽

Cited By ~ 2

Author(s):

Erickson H.S. Da Alves ◽

Lucas C. Cordeiro ◽

Eddie B. De Lima Filho

Keyword(s):

Model Checking ◽

Fault Localization ◽

Bounded Model Checking ◽

C Programs

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 ◽

Cited By ~ 10

Author(s):

Adrian Beer ◽

Stephan Heidinger ◽

Uwe Kühne ◽

Florian Leitner-Fischer ◽

Stefan Leue

Keyword(s):

Model Checking ◽

Bounded Model Checking

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 ◽

Cited By ~ 12

Author(s):

HoonSang Jin ◽

Fabio Somenzi

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Incremental Algorithm

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 ◽

Cited By ~ 4

Author(s):

Roland Kindermann ◽

Tommi Junttila ◽

Ilkka Niemela

Keyword(s):

Model Checking ◽

Timed Automata ◽

Bounded Model Checking

Memory models for the formal verification of assembler code using bounded model checking

Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings. ◽

10.1109/isorc.2004.1300338 ◽

2004 ◽

Cited By ~ 1

Author(s):

W. Ecker ◽

V. Esen ◽

T. Steininger ◽

M. Zambaldi

Keyword(s):

Model Checking ◽

Formal Verification ◽

Bounded Model Checking ◽

Memory Models ◽

Assembler Code

Increasing the deductibility in CNF instances for efficient SAT-based bounded model checking

Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. ◽

10.1109/hldvt.2005.1568835 ◽

2006 ◽

Cited By ~ 1

Author(s):

V.C. Vimjam ◽

M.S. Hsiao

Keyword(s):

Model Checking ◽

Bounded Model Checking