Book Details

Internet Resource: Please Login to download book

Principles of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. The presentation starts with the verification of sequential programs and proceeds in gradual stages to the verification of concurrent and then distributed programs. Complete programs are used to demonstrate each construct and concept, and the source code of these programs, together with that of longer case studies, are available on the companion website.The book describes free software that the author has developed: jSpin—an integrated development environment for Spin, SpinSpider.