ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
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
Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic
PRIMA 2014: Principles and Practice of Multi-Agent Systems - Lecture Notes in Computer Science
◽
10.1007/978-3-319-13191-7_9
◽
2014
◽
pp. 107-115
◽
Cited By ~ 2
Author(s):
Bożena Woźna-Szcześniak
◽
Ireneusz Szcześniak
◽
Agnieszka M. Zbrzezny
◽
Andrzej Zbrzezny
Keyword(s):
Model Checking
◽
Bounded Model Checking
◽
Computation Tree Logic
◽
Computation Tree
Download Full-text
HW/SW co-verification of embedded systems using bounded model checking
Proceedings of the 16th ACM Great Lakes symposium on VLSI - GLSVLSI '06
◽
10.1145/1127908.1127920
◽
2006
◽
Cited By ~ 13
Author(s):
Daniel Groβe
◽
Ulrich Kühne
◽
Rolf Drechsler
Keyword(s):
Model Checking
◽
Embedded Systems
◽
Bounded Model Checking
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close