Items related to 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

 
Image Not Available

Synopsis

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.

"synopsis" may belong to another edition of this title.

  • PublisherAmer Mathematical Society
  • Publication date1997
  • ISBN 10 0821806807
  • ISBN 13 9780821806807
  • BindingHardcover
  • LanguageEnglish
  • Number of pages203

Buy Used

Condition: Fine
*FREE DOMESTIC SHIPPING until Monday... View this item

Shipping: FREE
Within U.S.A.

Destination, rates & speeds

Add to basket

Search results for The Spin Verification System: Dimacs Workshop, August...

Stock Image

Gregoire, Jean-Charles, et al., eds.
Published by American Mathematical Society, 1997
ISBN 10: 0821806807 ISBN 13: 9780821806807
Used Hardcover

Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Fine. *FREE DOMESTIC SHIPPING until Monday, April 7* 203 pp., hardcover, previous owner's name to front pastedown else fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1283720

Contact seller

Buy Used

US$ 7.16
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

N. J.) Workshop on the Spin Verification System (1996 New Brunswick, Jean-Charles Gregoire, Gerard J. Holzmann et Doron Peled
Published by American Mathematical Society, 1997
ISBN 10: 0821806807 ISBN 13: 9780821806807
Used Hardcover

Seller: Ammareal, Morangis, France

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-571-043

Contact seller

Buy Used

US$ 24.38
Convert currency
Shipping: US$ 8.77
From France to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Workshop, on the Spin Verification), Jean-Charles Gregoire and Gerard J. Holzmann
ISBN 10: 0821806807 ISBN 13: 9780821806807
Used Hardcover

Seller: NEPO UG, Rüsselsheim am Main, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Sehr gut. 203 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969 26,0 x 18,4 x 1,6 cm, Gebundene Ausgabe. Seller Inventory # 370890

Contact seller

Buy Used

US$ 31.13
Convert currency
Shipping: US$ 26.30
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket