The Spin Verification System: Dimacs Workshop, August 5, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE) - Hardcover

Workshop On The Spin Verification System (1996 New Brunswick, N. J.); Gregoire, Jean-Charles; Holzmann, Gerard J.; Peled, Doron

 
9780821806807: The Spin Verification System: Dimacs Workshop, August 5, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)
Hardcover
ISBN 10: 0821806807 ISBN 13: 9780821806807
Verlag: American Mathematical Society, 1997

Inhaltsangabe

SPIN is a general tool for specifying and formally verifying software for distributed systems, and used to detect design errors in a wide range of applications. The 13 papers include theoretical and foundational perspectives of formal verification, empirical studies of the effectiveness of different types of algorithms, practical applications of the SPIN verifier, and discussions of extensions and revisions of the basic code. No index. Annotation c. by Book News, Inc., Portland, Or.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
American Mathematical Society
Erscheinungsdatum
1997
Sprache
Englisch
ISBN 10 
0821806807
ISBN 13 
9780821806807
Einband
Gebundene Ausgabe
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar