Your Waterstones card is changing, introducing...
TELL ME MORE
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings - Lecture Notes in Computer Science 1680 (Paperback)
  • Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings - Lecture Notes in Computer Science 1680 (Paperback)
zoom

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings - Lecture Notes in Computer Science 1680 (Paperback)

(editor), (editor), (editor), (editor)
£62.99
Paperback 282 Pages / Published: 08/09/1999
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN,is enjoying a constantly increasingpopularity in automated property validation of concurrent, message based systems. SPIN has been in large parts implemented and is being maintained by Gerard Ho- mann, and is freely available via ftp fromnetlib.bell-labs.comor from URL http://cm.bell-labs.com/cm/cs/what/spin/Man/README.html. The beauty of nite-state model checking lies in the possibility of building \push-button" validation tools. When the state space is nite, the state-space traversal will eventually terminate with a de nite verdict on the property that is being validated. Equally helpful is the fact that in case the property is inv- idated the model checker will return a counterexample, a feature that greatly facilitates fault identi cation. On the downside, the time it takes to obtain a verdict may be very long if the state space is large and the type of properties that can be validated is restricted to a logic of rather limited expressiveness.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540664994
Number of pages: 282
Weight: 910 g
Dimensions: 233 x 155 x 15 mm
Edition: 1999 ed.

You may also be interested in...

Discovering Statistics Using R
Added to basket
£60.00
Mixed media product
Beginning R
Added to basket
£27.99
Paperback
R For Dummies
Added to basket
£21.99
Paperback
R Graphics Cookbook
Added to basket
Qualitative Data Analysis with NVivo
Added to basket
TI-Nspire For Dummies
Added to basket
Learning R
Added to basket
£27.99
Paperback
Data Analysis with R
Added to basket
The Manga Guide To Statistics
Added to basket
Advanced R
Added to basket
£46.99
Paperback
Data Analysis and Graphics Using R
Added to basket
Applied Predictive Modeling
Added to basket
Statistics
Added to basket
£29.50
Paperback
Discovering Statistics Using R
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.