ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Improving the Quality of Bounded Model Checking by Means of Coverage Estimation
IEEE Computer Society Annual Symposium on VLSI (ISVLSI '07)
◽
10.1109/isvlsi.2007.57
◽
2007
◽
Author(s):
Ulrich Kuhne
◽
Daniel Grosse
◽
Rolf Drechsler
Keyword(s):
Model Checking
◽
Bounded Model Checking
◽
Coverage Estimation
Download Full-text
Related Documents
Cited By
References
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
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
◽
High Integrity
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
◽
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
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
◽
Cited By ~ 10
Author(s):
Adrian Beer
◽
Stephan Heidinger
◽
Uwe Kühne
◽
Florian Leitner-Fischer
◽
Stefan Leue
Keyword(s):
Model Checking
◽
Bounded Model Checking
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
◽
Cited By ~ 12
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
◽
Cited By ~ 4
Author(s):
Roland Kindermann
◽
Tommi Junttila
◽
Ilkka Niemela
Keyword(s):
Model Checking
◽
Timed Automata
◽
Bounded Model Checking
Download Full-text
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
Download Full-text
Coverage estimation for symbolic model checking
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361)
◽
10.1109/dac.1999.781330
◽
2003
◽
Cited By ~ 36
Author(s):
Y. Hoskote
◽
T. Kam
◽
Pei-Hsin Ho
◽
Xudong Zhao
Keyword(s):
Model Checking
◽
Symbolic Model Checking
◽
Symbolic Model
◽
Coverage Estimation
Download Full-text
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
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close