Theo C. Ruys  Home/Search
Context Related
| belllabs.com/netlib/spi...18850290.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: belllabs.com/netli...program2000 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Since the introduction of the first version of the model checker Spin in 1991, many papers have been written on improvements to the tool and on industrial applications of the tool. Less attention has been given to the pragmatic use of Spin. This paper presents several techniques to optimise both the modelling and verification activities when using Spin. (Update)
Cited by: More
Typical Structural Properties of State Spaces - Pelánek (Correct)
Optimal Scheduling Using Branch and Bound with SPIN 4.0 - Ruys (2003) (Correct)
SPINning Parallel Systems Software - Olga Shumsky Matlin (2002) (Correct)
Active bibliography (related documents): More All
0.5: Advanced SPIN Tutorial - Ruys, Holzmann (2004) (Correct)
0.0: KANGA: A framework for building application specific communication .. - Babai (Correct)
0.0: Parallel State Space Construction for Model-Checking - Garavel, Mateescu, Smarandache (2001) (Correct)
Similar documents based on text: More All
0.1: Optimal Provision of Infrastructure Using.. - van der Laan, Ruys.. (2000) (Correct)
0.1: The Bounded Retransmission Protocol must be on time! - D'Argenio, Katoen, Ruys.. (1997) (Correct)
0.1: Xspin/Project - Integrated Validation Management for Xspin - Ruys (1999) (Correct)
Related documents from co-citation: More All
2: IEEE Transactions on Software Engineering (context) - Holzmann, Checker - 1997
2: The Design and Validation of Computer Protocols (context) - Holzmann - 1991
2: MPI: A Message-Passing Interface Standard - Interface - 1994
BibTeX entry: (Update)
T. C. Ruys. Low-fat recipes for SPIN. In K. Havelund, J. Penix, and W. Visser, editors, SPIN Model Checking and Software Veri cation: Proceedings of the 7th International SPIN Workshop, LNCS 1885, pages 287-321. Springer Verlag, 2000. http://citeseer.ist.psu.edu/ruys00lowfat.html More
@inproceedings{ ruys00lowfat,
author = "Theo C. Ruys",
title = "Low-Fat Recipes for {SPIN}",
booktitle = "{SPIN}",
pages = "287--321",
year = "2000",
url = "citeseer.ist.psu.edu/ruys00lowfat.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
476 Programming Language (context) - Kernighan, Ritchie - 1988
461 Programming Language (context) - Stroustrup - 1997
375 IEEE Transactions on Software Engineering (context) - Holzmann, Checker - 1997
102 Design and Validation of Computer Protocols (context) - Holzmann - 1991
2 Spin Model Checking - Reliable Design of Concurrent Software (context) - Holzmann - 1997
2 Part of Spin's online HTML documentation (context) - Documentation, Manual
2 Part of Spin's online HTML documentation (context) - Documentation, in et al.
1 Spin homepage: http:##netlib (context) - Holzmann
1 Ways to Improve Your Programs and Designs (context) - Meyers, ective et al. - 1998
1 Literate Programming Simpli#ed (context) - Ramsey - 1994
1 Faculty of Computer Science (context) - Ruys, ective et al. - 2000
1 Center for the Study of Language and Information #CSLI (context) - Knuth, Number et al. - 1992
1 Available from URL: http:##www (context) - Seindal, version et al. - 1994
1 Tools and Rules for the Practicing Veri#er (context) - Manna, Pnueli - 1991
1 PerformanceProgramming Techniques (context) - Bulka, Mayhew et al. - 2000
1 Language Reference - Man-Pages and Semantics De#nition (context) - Documentation
1 Patterns in Property Speci#cations for Finite-State Veri#cat.. (context) - Dwyer, Avrunin et al. - 1999
1 Available from URL: http:##www (context) - Ramsey, homepage
Documents on the same site (http://netlib.bell-labs.com/netlib/spin/ws00/program2000.html): More
Verification and Optimization of a PLC Control Schedule - Brinksma, Mader (2000) (Correct)
Abstraction of Communication Channels in Promela: a Case Study - Fersman, Jonsson (2000) (Correct)
A Language Framework For Expressing Checkable.. - Corbett, Dwyer.. (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC