عنوان

Verification of digital and hybrid systems

(Number (ISBN

3642596150

(Number (ISBN

9783642596155

Number

b548039

Title Proper

Verification of digital and hybrid systems

General Material Designation

[Book]

First Statement of Responsibility

edited by M. Kemal Inan, Robert P. Kurshan.

Place of Publication, Distribution, etc.

Berlin ; New York

Name of Publisher, Distributor, etc.

Springer

Date of Publication, Distribution, etc.

©2000.

Specific Material Designation and Extent of Item

(xviii, 405 pages) : illustrations

Series Title

NATO ASI series., Series F,, Computer and systems sciences ;, no. 170.

Text of Note

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.

Text of Note

Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997.

Computer systems -- Verification -- Congresses.

Computer systems -- Verification.

Logiciels -- Vérification

Class number

Book number

edited by M. Kemal Inan, Robert P. Kurshan.

M Kemal Inan

R P Kurshan

Electronic name

[Book]

Y