| Document Type
|
:
|
BL
|
| Record Number
|
:
|
728301
|
| Doc. No
|
:
|
b548039
|
| Main Entry
|
:
|
edited by M. Kemal Inan, Robert P. Kurshan.
|
| Title & Author
|
:
|
Verification of digital and hybrid systems\ edited by M. Kemal Inan, Robert P. Kurshan.
|
| Publication Statement
|
:
|
Berlin ; New York: Springer, ©2000.
|
| Series Statement
|
:
|
NATO ASI series., Series F,, Computer and systems sciences ;, no. 170.
|
| Page. NO
|
:
|
(xviii, 405 pages) : illustrations
|
| ISBN
|
:
|
3642596150
|
|
|
:
|
: 9783642596155
|
| 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.
|
| Abstract
|
:
|
Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997.
|
| Subject
|
:
|
Computer systems -- Verification -- Congresses.
|
| Subject
|
:
|
Computer systems -- Verification.
|
| Subject
|
:
|
Logiciels -- Vérification
|
| LC Classification
|
:
|
QA76.76.V47E358 2000
|
| Added Entry
|
:
|
M Kemal Inan
|
|
|
:
|
R P Kurshan
|