Skip to main content
PBS logo
 
 

Search - The Spin Verification System: Dimacs Workshop, August 5, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)

The Spin Verification System: Dimacs Workshop, August 5, 1996 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)
The Spin Verification System Dimacs Workshop August 5 1996 - Dimacs Series in Discrete Mathematics and Theoretical Computer Science
Author: N. J.) Workshop on the Spin Verification System (1996 New Brunswick, Jean-Charles Gregoire, Gerard J. Holzmann, Doron Peled
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 ...  more »
ISBN-13: 9780821806807
ISBN-10: 0821806807
Pages: 203
Rating:
  ?
0 stars, based on 0 rating
Publisher: American Mathematical Society
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.