MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Xspin/Project- Integrated Validation Management for Xspin

Download:
pdf
by Theo C. Ruys
http://netlib.bell-labs.com/netlib/spin/ws99b/ug090032.pdf
Add To MetaCart

Abstract:

Abstract. One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obtained from the validation are always reproducible. Without tool support, the quality of the validation process depends on the accuracy of the persons who conduct the validation. This paper discusses Xspin/Project, an extension of Xspin, which automatically controls and manages the validation trajectory when using the model checker Spin. 1

Citations

1147 Tcl and the Tk Toolkit – Ousterhout - 1994
927 The model checker SPIN – Holzmann - 1997
714 Design and Validation of Computer Protocols – Holzmann - 1991
340 Literate Programming”, The – Knuth
336 RCS--a system for version control – Tichy - 1985
268 Make--A Program for Maintaining Computer Programs – Feldman - 1979
135 Version models for software configuration management – Conradi, Westfechtel - 1998
98 CVS II: Parallelizing software development – Berliner - 1990
70 Standard Glossary of Software Engineering Terminology – IEEE - 1990
58 Tools for software configuration management – TICHY - 1988
47 Concepts in Configuration Management Systems – Dart - 1991
32 The bounded retransmission protocol must be on time – D'Argenio, Katoen, et al. - 1997
24 The theory and practice of a formal method: NewCoRe – Holzmann - 1994
23 PRCS: the project revision control system – MacDonald, Hilfinger, et al. - 1998
14 Experience with Literate Programming in the Modelling and Validation of Systems – Ruys, Brinksma - 1998
13 Software configuration management: coordination for team productivity – Babich - 1986
4 Software Configuration Management: Why is it needed and what should it do – Leblang, Levine - 1995
3 Validation of Bosch’ Mobile Communication Network Architecture with SPIN – Ruys, Langerak - 1997
2 Guide to software configuration management. ANSI/IEEE Std 1042-1987 – IEEE - 1987
1 PRCS – Project Revision Control System. Available from URL: http://www.xcf.berkeley.edu/˜jmacd/prcs.html – MacDonald
1 Software Engineering –APractioner’s Approach – Pressman - 1992
1 Configuration Management Yellow Pages. Available from: http://www.cs.colorado.edu/users/andre/configuration management.html – Hoek - 1999
View or Download | Add to My Collection | Correct Errors