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 (Paperback)
$98.22 - Save $0.78 - RRP $99.00 Free shipping worldwide (to United States and
all these other countries) Usually dispatched within 48 hours
Short Description for Theoretical and Practical Aspects of Spin Model Checking This text constitutes the refereed proceedings of the 5th and 6th International SPIN Workshops on SPIN Model Checking. Papers present up-to-date research results centred around SPIN, as well as valuable surveys and summaries of application experience.
- Published: 01 October 1999
- Format: Paperback 292 pages
- ISBN 13: 9783540664994 ISBN 10: 3540664998
$63.45 - Save $6.54 9% off - RRP $69.99
$82.16 - Save $7.79 8% off - RRP $89.95
$117.87 - Save $21.13 15% off - RRP $139.00
Full description for Theoretical and Practical Aspects of Spin Model Checking
This book constitutes the refereed proceedings of the 5th and 6th international SPIN workshops on SPIN Model Checking, held as a satellite workshop of the Federated Logics Conference, FLoC'99, in Trento, Italy, July 1999, and as a user group meeting at the Formal Methods World Congress, FM'99, in Toulouse, France, in September 1999 respectively. Finite-state model checking, as it is supported by the explicit-state model checker SPIN, is enjoying constantly increasing popularity in automated property validation of concurrent, message based systems. This book presents up-to-date research results centered around SPIN as well as valuable surveys and summaries of application experience.