Activities per year
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.
|Title of host publication||Theoretical and Practical Aspects of SPIN Model Checking|
|Subtitle of host publication||5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings|
|Place of Publication||Berlin, Heidelberg|
|Number of pages||12|
|Publication status||Published - 11 Feb 1999|
|Event||6th International SPIN Workshop on Theoretical and Practical Aspects of SPIN Model Checking 1999 - Toulouse, France|
Duration: 21 Sep 1999 → 24 Sep 1999
Conference number: 6
|Workshop||6th International SPIN Workshop on Theoretical and Practical Aspects of SPIN Model Checking 1999|
|Period||21/09/99 → 24/09/99|
- FMT-MC: MODEL CHECKING
FingerprintDive into the research topics of 'Xspin/Project - Integrated Validation Management for Xspin'. Together they form a unique fingerprint.
- 1 Invited talk