Low-fat recipes for spin

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

Volumn 1885, Issue , 2000, Pages 287-321

  Ruys, Theo C ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

MODEL CHECKER; VERIFICATION ACTIVITIES;

MODEL CHECKING;

EID: 84947288420     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722468_17     Document Type: Conference Paper

References (21)

1. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, Massachusetts, 1986.
2. Dov Bulka and David Mayhew. Efficient C++ (Performance Programming Techniques). Addison-Wesley, Reading, Massachusetts, 2000.
3. Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, and G. Jan Tretmans: The Bounded Retransmission Protocol must be on time! (Full Version). CTIT Technical Report Series 97-03, Centre for Telematics and Information Technology, University of Twente, Enschede, The Netherlands, 1997.Also available from: http://wwwtios.cs.utwente.nl/~dargenio/brp/.
4. Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. Patterns in Property Specifications for Finite-State Verification. In Proceedings of the 1999 International Conference on Software Engineering (ICSE'99), pages 411-420, Los Angeles, CA, U.S.A., May 1999. ACM Press.
5. Gerard J. Holzmann: SPIN homepage: http://netlib.bell-labs.com/netlib/spin/whatispin.html.
6. Gerard J. Holzmann: Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs, New Jersey, 1991.
7. Gerard J. Holzmann: SPIN Model Checking - Reliable Design of Concurrent Software. Dr. Dobb's Journal, pages 92-97, 1997.
8. Gerard J. Holzmann: The Model Checker SpiN. IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
9. Brian Kernighan and Dennis Ritchie: The C Programming Language. Prentice Hall, second edition, 1988.
10. Donald E. Knuth: Literate Programming. Number 27 in CSLI Lecture Notes. Center for the Study of Language and Information (CSLI), Stanford University,California, 1992.
11. Zohar Manna and Amir Pnueli. Tools and Rules for the Practicing Verifier. In R.F. Rashid, editor, Carnegie Mellon Computer Science: A 25th Anniversary Commemorative, pages 125-159. ACM Press, New York, 1991.
12. Scott Meyers. Effective C++ (50 Specific Ways to Improve Your Programs and Designs). Addison-Wesley, Reading, Massachusetts, second edition, 1998.
13. Norman Ramsey. Noweb - homepage. Available from http://www.cs.virginia.edu/~nr/noweb/.
14. Norman Ramsey. Literate Programming Simplified. IEEE Software, 11(5):97-105, 1994.
15. Theo C. Ruys. Effective SPIN. CTIT Technical Report Series, Centre for Telematics and Information Technology, University of Twente, Faculty of Computer Science, Enschede, The Netherlands, August 2000. To appear.
16. Rene Seindal. GNU m4, version 1.4. Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111, USA, 1.4 edition, November 1994. Available from http://www.gnu.org.
17. SPIN Documentation. Basic SPIN Manual. Part of SPIN's online HTML documentation.
18. SPIN Documentation. Proceedings of the SpiN Workshops. Part of SPIN's online HTML documentation.
19. SPIN Documentation. SPIN Version 3.3: Language Reference - Man-Pages and Semantics Definition. Part of Spin's online HTML documentation.
20. SPIN Documentation. What's New in SPIN Versions 2.0 and 3.0 - Summary of changes since Version 1.0. Part of SPIN's online HTML documentation.
21. Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, Reading, Massachusetts, third edition, 1997.