Modal and Temporal Properties of Processes

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

52,95 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Beschreibung

In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.

Zusammenfassung

Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods in all areas of computer science and software programming.

Inhaltsverzeichnis

1 Processes.- 2 Modalities and Capabilities.- 3 Bisimulations.- 4 Temporal Properties.- 5 Modal Mu-Calculus.- 6 Verifying Temporal Properties.- 7 Exposing Structure.- References.

Erscheinungsjahr:	2001
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Inhalt:	xii 191 S. 2 s/w Illustr. 191 p. 2 illus.
ISBN-13:	9780387987170
ISBN-10:	0387987177
Sprache:	Englisch
Einband:	Gebunden
Autor:	Stirling, Colin
Hersteller:	Springer Springer New York Springer US, New York, N.Y.
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	241 x 183 x 16 mm
Von/Mit:	Colin Stirling
Erscheinungsdatum:	06.07.2001
Gewicht:	0,554 kg