ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
SMT-based bounded model checking for multi-threaded software in embedded systems
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10
◽
10.1145/1810295.1810396
◽
2010
◽
Cited By ~ 13
Author(s):
Lucas Cordeiro
Keyword(s):
Model Checking
◽
Embedded Systems
◽
Bounded Model Checking
Download Full-text
Related Documents
Cited By
References
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
SMT-Based Context-Bounded Model Checking for Embedded Systems
ACM SIGSOFT Software Engineering Notes
◽
10.1145/2934240.2934247
◽
2016
◽
Vol 41
(3)
◽
pp. 1-6
◽
Cited By ~ 1
Author(s):
Lucas C. Cordeiro
◽
Eddie B. de Lima Filho
Keyword(s):
Model Checking
◽
Embedded Systems
◽
Bounded Model Checking
Download Full-text
Complete Formal Verification of Multi Core Embedded Systems Using Bounded Model Checking
2006 IEEE Dallas/CAS Workshop on Design, Applications, Integration and Software
◽
10.1109/dcas.2006.321055
◽
2006
◽
Author(s):
Ulrich Kuhne
◽
Daniel GroBe
◽
Rolf Drechsler
Keyword(s):
Model Checking
◽
Embedded Systems
◽
Formal Verification
◽
Bounded Model Checking
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
◽
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close