Theo C. Ruys.
Xspin/Project - Integrated Validation Management for Xspin.
In Dennis R. Dams, Rob Gerth, Stefan Leue and Mieke Massink (eds).
Theoretical and Practical Aspects of SPIN Model Checking. 
Proceedings of the 5th and 6th International SPIN Workshop.
Trento, Italy (5th) and Toulouse, France (6th).
LNCS 1680, Springer-Verlag, Berlin, September 1999, pp. 108-119.

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.