The Computer Journal
RCS—a system for version control
Software—Practice & Experience
Software configuration management: coordination for team productivity
Software configuration management: coordination for team productivity
Design and validation of computer protocols
Design and validation of computer protocols
Concepts in configuration management systems
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
Software engineering (3rd ed.): a practitioner's approach
Software engineering (3rd ed.): a practitioner's approach
Tcl and the Tk toolkit
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Version models for software configuration management
ACM Computing Surveys (CSUR)
The Bounded Retransmission Protocol Must Be on Time!
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Experience with Literate Programming in the Modelling and Validation of Systems
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Software Configuration Management: Why is it needed and what should it do?
Selected papers from the ICSE SCM-4 and SCM-5 Workshops, on Software Configuration Management
PRCS: The Project Revision Control System
ECOOP '98 Proceedings of the SCM-8 Symposium on System Configuration Management
| Hi-index | 0.00 |
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.