Xspin/Project - Integrated Validation Management for Xspin

Theo C. Ruys

doi:10.1007/3-540-48234-2_8

Xspin/Project - Integrated Validation Management for Xspin

Theo C. Ruys

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	English
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
Publisher	Springer
Pages	108-119
Number of pages	12
ISBN (Electronic)	978-3-540-48234-5
ISBN (Print)	978-3-540-66499-4
DOIs	https://doi.org/10.1007/3-540-48234-2_8
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

Workshop	6th International SPIN Workshop on Theoretical and Practical Aspects of SPIN Model Checking 1999
Country/Territory	France
City	Toulouse
Period	21/09/99 → 24/09/99

Keywords

FMT-MC: MODEL CHECKING

Access to Document

10.1007/3-540-48234-2_8

Ruys1999x-spinAccepted author version, 220 KB

1 Invited talk

Xspin/Project - Integrated Validation Management for Xspin
T.C. Ruys (Keynote speaker)
21 Sep 1999
Activity: Talk or presentation › Invited talk

Cite this

@inproceedings{de8df3d6c9dd44e7ab9b2ede9baa9536,

title = "Xspin/Project - Integrated Validation Management for Xspin",

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.",

keywords = "FMT-MC: MODEL CHECKING",

author = "Ruys, {Theo C.}",

year = "1999",

month = feb,

day = "11",

doi = "10.1007/3-540-48234-2_8",

language = "English",

isbn = "978-3-540-66499-4",

pages = "108--119",

booktitle = "Theoretical and Practical Aspects of SPIN Model Checking",

publisher = "Springer",

address = "Netherlands",

note = "6th International SPIN Workshop on Theoretical and Practical Aspects of SPIN Model Checking 1999 ; Conference date: 21-09-1999 Through 24-09-1999",

}

Ruys, TC 1999, Xspin/Project - Integrated Validation Management for Xspin. in Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings. Springer, Berlin, Heidelberg, pp. 108-119, 6th International SPIN Workshop on Theoretical and Practical Aspects of SPIN Model Checking 1999, Toulouse, France, 21/09/99. https://doi.org/10.1007/3-540-48234-2_8

Xspin/Project - Integrated Validation Management for Xspin. / Ruys, Theo C.

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings. Berlin, Heidelberg : Springer, 1999. p. 108-119.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Xspin/Project - Integrated Validation Management for Xspin

AU - Ruys, Theo C.

N1 - Conference code: 6

PY - 1999/2/11

Y1 - 1999/2/11

N2 - 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.

AB - 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.

KW - FMT-MC: MODEL CHECKING

U2 - 10.1007/3-540-48234-2_8

DO - 10.1007/3-540-48234-2_8

M3 - Conference contribution

SN - 978-3-540-66499-4

SP - 108

EP - 119

BT - Theoretical and Practical Aspects of SPIN Model Checking

PB - Springer

CY - Berlin, Heidelberg

T2 - 6th International SPIN Workshop on Theoretical and Practical Aspects of SPIN Model Checking 1999

Y2 - 21 September 1999 through 24 September 1999

ER -

Xspin/Project - Integrated Validation Management for Xspin

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Activities

Xspin/Project - Integrated Validation Management for Xspin

Cite this