Get Free Shipping on orders over $0
Lecture Notes in Computer Science : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings - Dennis Dams
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

By: Dennis Dams (Editor), Robert Gerth (Editor), Stefan Leue (Editor)

Paperback | 8 September 1999

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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.

More in Compilers & Interpreters

In Easy Steps : Master C# fundamentals! - Mike McGrath

RRP $54.99

$39.99

27%
OFF
FORTRAN Programming in Easy Steps : In Easy Steps - Mike McGrath
Modern Compiler Design - Terence Halsey

$410.75

NUnit Pocket Reference : Pocket Reference (O'Reilly) - Bill Hamilton
Flex & Bison [With Access Code] : O'Reilly Ser. - John Levine

RRP $57.00

$30.75

46%
OFF
Applied Mathematics with F# - Sudipta Mukherjee
Metaprogramming Elixir - Chris Mccord

RRP $32.35

$15.75

51%
OFF
Modern Systems Programming with Scala Native - Richard Whaling

RRP $87.35

$41.75

52%
OFF
Compilers : Principles, Techniques, and Tools - Alfred Aho
Compilers : A Practical Approach - James E Jr Miller
Case-Based Learning - Janet L. Kolodner

$329.00