Theoretical and Practical Aspects of SPIN Model Checking
Subtitle: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September ... (Lecture Notes in Computer Science)
Contributors: Dennis Dams (Editor); Robert Gerth (Editor); Stefan Leue (Editor); Mieke Massinek (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 18, 1999
Language: eng
Format: Paperback
Number of pages: 277
ISBN-13: 9783540664994
Subjects: Computer Programming; Computer modelling & simulation; Mathematical & statistical software; Programming Languages - General; Computers - Languages / Programming; Software Engineering; Computers; Programming - Software Development; Computer Books: General; Programming - General; Congresses; Logic Design; Computers / Logic Design; Computers / Programming Languages / General; Computers-Logic Design; Computers-Programming - Software Development; Verification; Computer software; SPIN (Computer file)
First sentence: All CDCs that are summarized in this book have been conducted by the use of the same methodology.