Verwandte Artikel zu The Spin Verification System: Dimacs Workshop, August...
The Spin Verification System: Dimacs Workshop, August 5, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE) - Hardcover
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.
Suchergebnisse für The Spin Verification System: Dimacs Workshop, August...
Beispielbild für diese ISBN
The SPIN Verification System
Verlag:
American Mathematical Society, US, 1997
ISBN 10: 0821806807
ISBN 13: 9780821806807
Neu
Hardcover
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. It has been used to detect design errors in a wide range of applications, such as abstract distributed algorithms, data communications protocols, operating systems code, and telephone switching code. The verifier can check for basic correctness properties, such as absence of deadlock and race conditions, logical completeness, or unwarranted assumptions about the relative speeds of correctness properties expressed in the syntax of Linear-time Temporal Logic (LTL). The tool translates LTL formulae automatically into automata representations, which can be used in an efficient on-the-fly verifications procedure.This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996. The work covers theoretical and foundational studies of formal verification, empirical studies of the effectiveness of different types of algorithms, significant practical applications of the Spin verifier, and discussions of extensions and revisions of the basic code. Bestandsnummer des Verkäufers LU-9780821806807
Neu kaufen
EUR 77,09
Versand gratis
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
The Spin Verification System: Dimacs Workshop, August 5, 1996
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. 203 pages. 10.25x7.25x0.50 inches. In Stock. Bestandsnummer des Verkäufers __0821806807
Neu kaufen
EUR 75,07
EUR 14,62 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
The Spin Verification System: Dimacs Workshop, August 5, 1996
Verlag:
American Mathematical Society, 1997
ISBN 10: 0821806807
ISBN 13: 9780821806807
Neu
Hardcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996. Editor(s): Gregoire, Jean-Charles; etc.; Holzmann, Gerald; Peled, Doron A. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 203 pages, illustrations. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 624. . 1997. hardcover. . . . . Bestandsnummer des Verkäufers V9780821806807
Neu kaufen
EUR 90,05
EUR 9,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
The Spin Verification System: Dimacs Workshop, August 5, 1996
Verlag:
American Mathematical Society, 1997
ISBN 10: 0821806807
ISBN 13: 9780821806807
Neu
Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996. Editor(s): Gregoire, Jean-Charles; etc.; Holzmann, Gerald; Peled, Doron A. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 203 pages, illustrations. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 624. . 1997. hardcover. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9780821806807
Neu kaufen
EUR 93,57
EUR 9,06 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
The SPIN Verification System
Verlag:
American Mathematical Society, US, 1997
ISBN 10: 0821806807
ISBN 13: 9780821806807
Neu
Hardcover
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. It has been used to detect design errors in a wide range of applications, such as abstract distributed algorithms, data communications protocols, operating systems code, and telephone switching code. The verifier can check for basic correctness properties, such as absence of deadlock and race conditions, logical completeness, or unwarranted assumptions about the relative speeds of correctness properties expressed in the syntax of Linear-time Temporal Logic (LTL). The tool translates LTL formulae automatically into automata representations, which can be used in an efficient on-the-fly verifications procedure.This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996. The work covers theoretical and foundational studies of formal verification, empirical studies of the effectiveness of different types of algorithms, significant practical applications of the Spin verifier, and discussions of extensions and revisions of the basic code. Bestandsnummer des Verkäufers LU-9780821806807
Neu kaufen
EUR 72,74
EUR 76,04 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar