The SPIN Model Checker
Subtitle: Primer and Reference Manual
Publisher: Addison-Wesley Professional
Published: September 4, 2003
Language: eng
Format: Hardcover
Number of pages: 608
ISBN-13: 9780321228628
Subjects: Software engineering; Technology; Technology & Industrial Arts; Textbooks; Computer Books: General; Engineering - General; Programming - Software Development; Computers / Programming / Software Development; Applied; Industrial Technology; Computer programs; Mathematical Models; Systems Engineering; Testing
First sentence: SPIN can be used to verify correctness requirements for systems of concurrently executing processes.