ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Distributed modular model checking
Proceedings 17th IEEE International Conference on Automated Software Engineering,
◽
10.1109/ase.2002.1115041
◽
2003
◽
Cited By ~ 1
Author(s):
J. Crhova
Keyword(s):
Model Checking
◽
Modular Model
Download Full-text
Related Documents
Cited By
References
Modular Model Checking
Compositionality: The Significant Difference - Lecture Notes in Computer Science
◽
10.1007/3-540-49213-5_14
◽
1998
◽
pp. 381-401
◽
Cited By ~ 26
Author(s):
Orna Kupferman
◽
Moshe Y. Vardi
Keyword(s):
Model Checking
◽
Modular Model
Download Full-text
Modular Model-Checking of a Byzantine Fault-Tolerant Protocol
Lecture Notes in Computer Science - NASA Formal Methods
◽
10.1007/978-3-319-57288-8_12
◽
2017
◽
pp. 163-177
◽
Cited By ~ 1
Author(s):
Benjamin F. Jones
◽
Lee Pike
Keyword(s):
Model Checking
◽
Fault Tolerant
◽
Modular Model
◽
Byzantine Fault
Download Full-text
Thread-Modular Model Checking
Model Checking Software - Lecture Notes in Computer Science
◽
10.1007/3-540-44829-2_14
◽
2003
◽
pp. 213-224
◽
Cited By ~ 66
Author(s):
Cormac Flanagan
◽
Shaz Qadeer
Keyword(s):
Model Checking
◽
Modular Model
Download Full-text
Towards a sound modular model checking of collaboration-based software designs
Tenth Asia-Pacific Software Engineering Conference, 2003.
◽
10.1109/apsec.2003.1254361
◽
2004
◽
Author(s):
Nguyen Truong Thang
◽
T. Katayama
Keyword(s):
Model Checking
◽
Modular Model
Download Full-text
An automata-theoretic approach to modular model checking
ACM Transactions on Programming Languages and Systems
◽
10.1145/345099.345104
◽
2000
◽
Vol 22
(1)
◽
pp. 87-128
◽
Cited By ~ 31
Author(s):
Orna Kupferman
◽
Moshe Y. Vardi
Keyword(s):
Model Checking
◽
Theoretic Approach
◽
Modular Model
Download Full-text
Modular model checking of software
Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
◽
10.1007/bfb0054162
◽
1998
◽
pp. 20-35
◽
Cited By ~ 18
Author(s):
Karen Laster
◽
Orna Grumberg
Keyword(s):
Model Checking
◽
Modular Model
Download Full-text
On the complexity of modular model checking
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.1995.523248
◽
2002
◽
Cited By ~ 12
Author(s):
M.Y. Vardi
Keyword(s):
Model Checking
◽
Modular Model
Download Full-text
Thread-Modular Model Checking with Iterative Refinement
Lecture Notes in Computer Science - NASA Formal Methods
◽
10.1007/978-3-642-28891-3_24
◽
2012
◽
pp. 237-251
◽
Cited By ~ 1
Author(s):
Wenrui Meng
◽
Fei He
◽
Bow-Yaw Wang
◽
Qiang Liu
Keyword(s):
Model Checking
◽
Iterative Refinement
◽
Modular Model
Download Full-text
On the complexity of branching modular model checking
CONCUR '95: Concurrency Theory - Lecture Notes in Computer Science
◽
10.1007/3-540-60218-6_31
◽
1995
◽
pp. 408-422
◽
Cited By ~ 16
Author(s):
Orna Kupferman
◽
Moshe Y. Vardi
Keyword(s):
Model Checking
◽
Modular Model
Download Full-text
Modular Model Checking of Software Specifications with Simultaneous Environment Generation
Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
◽
10.1007/978-3-540-30476-0_30
◽
2004
◽
pp. 369-383
◽
Cited By ~ 1
Author(s):
Claudio de la Riva
◽
Javier Tuya
Keyword(s):
Model Checking
◽
Modular Model
◽
Software Specifications
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close