Verification of digital and hybrid systems /
This state-of-the-art tutorial overview of computer-aided verification, hybrid systems, and publicly available tools for design and verification is based on a NATO workshop. It has two parts. Part 1 addresses the basics of computer-aided verification of discrete event systems from two perspectives:...
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2000]
|
| Series: | NATO ASI series. Computer and systems sciences ;
no. 170. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Part I: Overview of Verification
- General Purpose Theorem Proving Methods in the Verification of Digital Hardware and Software
- Temporal Logic and Model Checking
- Model Checking Using Automata Theory
- Complexity Issues in Automata Theoretic Verification
- Symbolic Model Checking
- Compositional Systems and Methods
- Symmetry and Model Checking
- Partial Order Reductions
- Probabilistic Model Checking: Formalisms and Algorithms for Discrete and Real-Time Systems
- Formal Verification in a Commercial Setting
- Part II: Timed Automata
- The Theory of Hybrid Automata
- On the Composition of Hybrid Systems
- Reach Set Computation Using Optimal Control
- Control for a Class of Hybrid Systems
- The SHIFT Programming Language and Run-Time System for Dynamic Networks of Hybrid Automata
- The Teja System for Real-Time Dynamic Event Management
- Automated Highway Systems: an Example of Hierarchical Control.