Modular Model Checking

Compositionality: The Significant Difference - Lecture Notes in Computer Science ◽

10.1007/3-540-49213-5_14 ◽

1998 ◽

pp. 381-401 ◽

Author(s):

Orna Kupferman ◽

Moshe Y. Vardi

Keyword(s):

Model Checking ◽

Download Full-text

Distributed modular model checking

Proceedings 17th IEEE International Conference on Automated Software Engineering, ◽

10.1109/ase.2002.1115041 ◽

2003 ◽

Author(s):

J. Crhova

Keyword(s):

Model Checking ◽

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 ◽

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 ◽

Author(s):

Cormac Flanagan ◽

Shaz Qadeer

Keyword(s):

Model Checking ◽

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 ◽

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 ◽

Author(s):

Orna Kupferman ◽

Moshe Y. Vardi

Keyword(s):

Model Checking ◽

Theoretic Approach ◽

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 ◽

Author(s):

Karen Laster ◽

Orna Grumberg

Keyword(s):

Model Checking ◽

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 ◽

Author(s):

M.Y. Vardi

Keyword(s):

Model Checking ◽

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 ◽

Author(s):

Wenrui Meng ◽

Fei He ◽

Bow-Yaw Wang ◽

Qiang Liu

Keyword(s):

Model Checking ◽

Iterative Refinement ◽

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 ◽

Author(s):

Orna Kupferman ◽

Moshe Y. Vardi

Keyword(s):

Model Checking ◽

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 ◽

Author(s):

Claudio de la Riva ◽

Javier Tuya

Keyword(s):

Model Checking ◽

Modular Model ◽

Software Specifications

Download Full-text