|
| |
| Temporal Logic |
- Clarke, Grumberg, Peled - Model Checking (1999): chapters 2, 3
- Emerson - Temporal and Modal Logic (1990), in: van Leuwwen - Handbook of Theoretical Computer Science (Vol. B)
|
| |
| Model Checking Algorithms |
 Clarke, Emerson, Sistla - Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications (Journal Version, 1986)- Lichtenstein, Pnueli - Checking That Finite State Concurrent Programs Satisfy Their Linear Specifications (1985)
|
| |
| Symbolic Model Checking |
- Burch, Clarke, McMillan - Symbolic Model Checking: 1020 States and Beyond (Journal Version, 1992)
|
| |
| Compositional Reasoning |
 Clarke, Long, McMillan - Compositional Model Checking (1989)- Grumberg, Long - Model Checking and Modular Verification (1991)
|
| |
| Symmetry |
- Ip, Dill - Better Verification Through Symmetry (1993)
- Ip, Dill - Better Verification Through Symmetry (Journal Version, 1996)
- Emerson, Sistla - Symmetry and Model Checking (1994)
|
| |
| Abstraction |
- Clarke, Grumberg, Long - Model Checking and Abstraction (1999)
|
| |
|
|
|
