Verification of Digital and Hybrid Systems
This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course wa...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2000, 2000
|
| Edition: | 1st ed. 2000 |
| Series: | NATO ASI Subseries F:, Computer and Systems Sciences
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- I. Discrete Event System Verification
- 1. Overview of Verification
- 2. General Purpose Theorem Proving Methods in the Verification of Digital Hardware and Software
- 3. Temporal Logic and Model Checking
- 4. Model Checking Using Automata Theory
- 5. Complexity Issues in Automata Theoretic Verification
- 6. Symbolic Model Checking
- 7. Compositional Systems and Methods
- 8. Symmetry and Model Checking
- 9. Partial Order Reductions
- 10. Probabilistic Model Checking: Formalisms and Algorithms for Discrete and Real-time Systems
- 11. Formal Verification in a Commercial Setting
- II. Hybrid Systems: Modeling and Verification
- 12. Timed Automata
- 13. The Theory of Hybrid Automata
- 14. On the Composition of Hybrid Systems
- 15. Reach Set Computation Using Optimal Control
- 16. Control for a Class of Hybrid Systems
- 17. The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata
- 18. The Teja System for Real-Time Dynamic Event Management
- 19. Automated Highway Systems: an Example of Hierarchical Control