Xspin/Project - Integrated Validation Management for Xspin

Theo C. Ruys

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
    2 Downloads (Pure)

    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.
    Original languageEnglish
    Title of host publicationTheoretical and Practical Aspects of SPIN Model Checking
    Subtitle of host publication5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages108-119
    Number of pages12
    ISBN (Electronic)978-3-540-48234-5
    ISBN (Print)978-3-540-66499-4
    DOIs
    Publication statusPublished - 11 Feb 1999
    Event6th International SPIN Workshop on Theoretical and Practical Aspects of SPIN Model Checking 1999 - Toulouse, France
    Duration: 21 Sep 199924 Sep 1999
    Conference number: 6

    Workshop

    Workshop6th International SPIN Workshop on Theoretical and Practical Aspects of SPIN Model Checking 1999
    Country/TerritoryFrance
    CityToulouse
    Period21/09/9924/09/99

    Keywords

    • FMT-MC: MODEL CHECKING

    Fingerprint

    Dive into the research topics of 'Xspin/Project - Integrated Validation Management for Xspin'. Together they form a unique fingerprint.

    Cite this