Computer Aided Verification

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Computer-hindered verification (humans can do it too)
3. Altmetric Badge
   Chapter 2 Modular abstractions for verifying real-time distributed systems
4. Altmetric Badge
   Chapter 3 Layering techniques for development of parallel systems
5. Altmetric Badge
   Chapter 4 Efficient local correctness checking
6. Altmetric Badge
   Chapter 5 Mechanical verification of concurrent systems with TLA
7. Altmetric Badge
   Chapter 6 Using a theorem prover for reasoning about concurrent algorithms
8. Altmetric Badge
   Chapter 7 Verifying a logic synthesis tool in Nuprl: A case study in software verification
9. Altmetric Badge
   Chapter 8 Higher-level specification and verification with BDDs
10. Altmetric Badge
    Chapter 9 Symbolic bisimulation minimisation
11. Altmetric Badge
    Chapter 10 Towards a verification technique for large synchronous circuits
12. Altmetric Badge
    Chapter 11 Verifying timed behavior automata with nonbinary delay constraints
13. Altmetric Badge
    Chapter 12 Timing verification by successive approximation
14. Altmetric Badge
    Chapter 13 A verification strategy for timing constrained systems
15. Altmetric Badge
    Chapter 14 Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits
16. Altmetric Badge
    Chapter 15 State space caching revisited
17. Altmetric Badge
    Chapter 16 Verification in process algebra of the distributed control of track vehicles—A case study
18. Altmetric Badge
    Chapter 17 Design verification of a microprocessor using branching time regular temporal logic
19. Altmetric Badge
    Chapter 18 A case study in safety-critical design
20. Altmetric Badge
    Chapter 19 Automatic reduction in CTL compositional model checking
21. Altmetric Badge
    Chapter 20 Compositional model checking for linear-time temporal logic
22. Altmetric Badge
    Chapter 21 Property preserving simulations
23. Altmetric Badge
    Chapter 22 Verification with real-time COSPAN
24. Altmetric Badge
    Chapter 23 Model-checking for real-time systems specified in Lotos
25. Altmetric Badge
    Chapter 24 Decidability of bisimulation equivalences for parallel timer processes
26. Altmetric Badge
    Chapter 25 A proof assistant for symbolic model-checking
27. Altmetric Badge
    Chapter 26 Tableau recycling
28. Altmetric Badge
    Chapter 27 Crocos: An integrated environment for interactive verification of SDL specifications
29. Altmetric Badge
    Chapter 28 Verifying general safety and liveness properties with integer programming
30. Altmetric Badge
    Chapter 29 Generating diagnostic information for behavioral preorders
31. Altmetric Badge
    Chapter 30 A verification procedure via invariant for extended communicating finite-state machines
32. Altmetric Badge
    Chapter 31 Efficient ω-regular language containment
33. Altmetric Badge
    Chapter 32 Faster model checking for the modal Mu-Calculus