Visit our Christmas Gift Finder
Click & Collect from 2 Hours
Last Christmas Delivery Dates
Free UK Standard Delivery on orders £20 and over Order in time for Christmas 18th December 2nd Class | 19th December 1st Class Free Click & Collect to shops From 2 hours of your order*
The SPIN Verification System - Series in Discrete Mathematics & Theoretical Computer Science (Hardback)
  • The SPIN Verification System - Series in Discrete Mathematics & Theoretical Computer Science (Hardback)
zoom

The SPIN Verification System - Series in Discrete Mathematics & Theoretical Computer Science (Hardback)

£62.50
Hardback Published: 30/05/1997
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
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.

Publisher: American Mathematical Society
ISBN: 9780821806807
Weight: 624 g

You may also be interested in...

Advanced Engineering Mathematics
Added to basket
Mathematics for Biological Scientists
Added to basket
Essential Medical Statistics
Added to basket
Networks: A Very Short Introduction
Added to basket
Probability
Added to basket
£26.49
Paperback
Mathematics for Economics and Business
Added to basket
Mathematics for Economics and Finance
Added to basket
Linear Algebra
Added to basket
£31.49
Paperback
Financial Modeling
Added to basket
Probability and Random Processes
Added to basket
Mathematics for Economists
Added to basket
Mathematics for Finance
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.