.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Theoretical and Practical Aspects of Spin Model Checking
. Ed(S): Dams, Dennis; Gerth, Robert; Leue, Stefan; Massinek, Mieke
€ 69.98
FREE Delivery in Ireland
Description for Theoretical and Practical Aspects of Spin Model Checking
Paperback. 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. Editor(s): Dams, Dennis; Gerth, Robert; Leue, Stefan; Massinek, Mieke. Series: Lecture Notes in Computer Science. Num Pages: 292 pages, biography. BIC Classification: UFM; UGK; UMG. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 15. Weight in Grams: 910.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1999
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
292
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
282
Place of Publication
Berlin, Germany
ISBN
9783540664994
SKU
V9783540664994
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Theoretical and Practical Aspects of Spin Model Checking