ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Fairness Modulo Theory: A New Approach to LTL Software Model Checking
Computer Aided Verification - Lecture Notes in Computer Science
◽
10.1007/978-3-319-21690-4_4
◽
2015
◽
pp. 49-66
◽
Cited By ~ 16
Author(s):
Daniel Dietsch
◽
Matthias Heizmann
◽
Vincent Langenfeld
◽
Andreas Podelski
Keyword(s):
Model Checking
◽
Software Model Checking
◽
New Approach
◽
Software Model
Download Full-text
Related Documents
Cited By
References
Verification of MPI Java programs using software model checking
ACM SIGPLAN Notices
◽
10.1145/3016078.2851192
◽
2016
◽
Vol 51
(8)
◽
pp. 1-2
Author(s):
Waqas Ur Rehman
◽
Muhammad Sohaib Ayub
◽
Junaid Haroon Siddiqui
Keyword(s):
Model Checking
◽
Software Model Checking
◽
Software Model
◽
Java Programs
Download Full-text
Efficient software model checking of soundness of type systems
ACM SIGPLAN Notices
◽
10.1145/1449955.1449803
◽
2008
◽
Vol 43
(10)
◽
pp. 493-504
◽
Cited By ~ 1
Author(s):
Michael Roberson
◽
Melanie Harries
◽
Paul T. Darga
◽
Chandrasekhar Boyapati
Keyword(s):
Model Checking
◽
Type Systems
◽
Software Model Checking
◽
Software Model
◽
Efficient Software
Download Full-text
Applying software model checking to PALS systems
2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC)
◽
10.1109/dasc.2014.6979625
◽
2014
◽
Author(s):
Min Young Nam
◽
Sagar Chaki
◽
Lui Sha
◽
Cheolgi Kim
Keyword(s):
Model Checking
◽
Software Model Checking
◽
Software Model
Download Full-text
Verification of MPI Java programs using software model checking
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16
◽
10.1145/2851141.2851192
◽
2016
◽
Cited By ~ 1
Author(s):
Waqas Ur Rehman
◽
Muhammad Sohaib Ayub
◽
Junaid Haroon Siddiqui
Keyword(s):
Model Checking
◽
Software Model Checking
◽
Software Model
◽
Java Programs
Download Full-text
SMT-Based Software Model Checking
Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
◽
10.1007/978-3-319-02444-8_3
◽
2013
◽
pp. 23-23
Author(s):
Alessandro Cimatti
Keyword(s):
Model Checking
◽
Software Model Checking
◽
Software Model
Download Full-text
Software Model Checking of UDP-based Distributed Applications
International Journal of Networking and Computing
◽
10.15803/ijnc.5.2_373
◽
2015
◽
Vol 5
(2)
◽
pp. 373-402
◽
Cited By ~ 1
Author(s):
Nazim Sebih
◽
Masami Hagiya
◽
Franz Weitl
◽
Mitsuharu Yamamoto
◽
Cyrille Artho
◽
...
Keyword(s):
Model Checking
◽
Distributed Applications
◽
Software Model Checking
◽
Software Model
Download Full-text
Parallel Assignments in Software Model Checking
Electronic Notes in Theoretical Computer Science
◽
10.1016/j.entcs.2006.01.024
◽
2006
◽
Vol 157
(1)
◽
pp. 77-94
Author(s):
Murray Stokely
◽
Sagar Chaki
◽
Joël Ouaknine
Keyword(s):
Model Checking
◽
Software Model Checking
◽
Software Model
Download Full-text
SMT-Based Software Model Checking
Model Checking Software - Lecture Notes in Computer Science
◽
10.1007/978-3-642-16164-3_1
◽
2010
◽
pp. 1-3
◽
Cited By ~ 1
Author(s):
Alessandro Cimatti
Keyword(s):
Model Checking
◽
Software Model Checking
◽
Software Model
Download Full-text
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
◽
10.1007/978-3-540-69611-7_16
◽
2006
◽
pp. 245-259
◽
Cited By ~ 73
Author(s):
Andreas Podelski
◽
Andrey Rybalchenko
Keyword(s):
Model Checking
◽
Software Model Checking
◽
Abstraction Refinement
◽
Software Model
Download Full-text
Static Analysis versus Software Model Checking for Bug Finding
Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
◽
10.1007/978-3-540-24622-0_17
◽
2004
◽
pp. 191-210
◽
Cited By ~ 40
Author(s):
Dawson Engler
◽
Madanlal Musuvathi
Keyword(s):
Model Checking
◽
Static Analysis
◽
Software Model Checking
◽
Software Model
◽
Bug Finding
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close