Principles of the Spin Model Checker
Publisher: Springer | ISBN: 1846287693 | edition 2008 | PDF | 216 pages | 1,5 mb
Publisher: Springer | ISBN: 1846287693 | edition 2008 | PDF | 216 pages | 1,5 mb
The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin; SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs; VN is a tool for visualizing nondeterminism.