Advanced SPIN tutorial

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2989, Issue , 2004, Pages 304-305

  Ruys, Theo C ^a   Holzmann, Gerard J ^b  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

VERIFICATION;

DISTRIBUTED SYSTEMS; MODEL CHECKER; VERIFICATION SYSTEMS;

MODEL CHECKING;

EID: 35048863867     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24732-6_21     Document Type: Article

References (10)

1. ACM Software Systems Awards. URL: http://www.acm.org/awards/ssaward.html.
2. G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs, New Jersey, USA, 1991.
3. G. J. Holzmann. SPIN Model Checking - Reliable Design of Concurrent Software. Dr. Dobb's Journal, pages 92-97, October 1997.
4. G. J. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, May 1997.
5. G. J. Holzmann. The SPIN Model Checker - Primer and Reference Manual. Addison-Wesley, Boston, Massachusetts, USA, 2004.
6. T. C. Ruys. Towards Effective Model Checking. PhD thesis, University of Twente, Enschede, The Netherlands, March 2001. Available from the author's homepage.
7. T. C. Ruys. SPIN Tutorial: How to become a SPIN Doctor. In D. Bosnacki and S. Leue, editors, Model Checking of Software, Proc. of the 9th Int. SPIN Workshop (SPIN 2002), volume 2318 of LNCS, pages 6-13, Grenoble, France, April 2002.
8. T. C. Ruys. Optimal Scheduling Using Branch and Bound with SPIN 4.0. In T. Ball and S. K. Rajamani, editors, Model Checking of Software, Proc. of the 10th Int. SPIN Workshop (SPIN 2003), volume 2648 of LNCS, pages 1-17, Portland, Oregon, USA, May 2003.
9. SPIN Homepage. URL: http://spinroot.com/spin/.
10. M. Y. Vardi and P. Wolper. An Automatic - Theoretic Approach to Automatic Program Verification. In Proc. of the First IEEE Symposium on Logic In Computer Science (LICS'86), pages 322-331, Cambridge, UK, June 1986.