Produkt
KlappentextReactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. To meet these needs, early design phases nowadays include verification of given specifications against system descriptions to find potential design errors as early as possible.
Zusammenfassung
The book is self-contained
Includes all definitions without relying on other material
Proves all theorems in detail
Covers many formalisms like u-calculus, w-automata, and temporal logics and has special emphasis on the relationship between these formalism
Presents detailed algorithms in pseudo-code for verification as well as translations to other formalisms
Includes supplementary material: sn.pub/extras
The book is self-contained
Includes all definitions without relying on other material
Proves all theorems in detail
Covers many formalisms like u-calculus, w-automata, and temporal logics and has special emphasis on the relationship between these formalism
Presents detailed algorithms in pseudo-code for verification as well as translations to other formalisms
Includes supplementary material: sn.pub/extras
Details
ISBN/GTIN978-3-540-00296-3
ProduktartBuch
EinbandartGebunden
Verlag
Erscheinungsjahr2003
Erscheinungsdatum16.10.2003
Seiten602 Seiten
SpracheEnglisch
Gewicht1150 g
IllustrationenXIV, 602 p.
Artikel-Nr.10547155
Rubriken