Experience with Literate Programming in the Modelling and Validation of Systems

Theo C. Ruys; Ed Brinksma

doi:10.1007/BFb0054185

Experience with Literate Programming in the Modelling and Validation of Systems

Theo C. Ruys, Ed Brinksma

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

19 Citations (Scopus)

1 Downloads (Pure)

Abstract

This paper discusses our experience with literate programming tools in the realm of the modelling and validation of systems. We propose the use of literate programming techniques to structure and control the validation trajectory. The use of literate programming is illustrated by means of a running example using Promela and Spin. The paper can also be read as a tutorial on the application of literate programming to formal methods.

Original language	English
Title of host publication	Tools and Algorithms for Construction and Analysis of Systems
Subtitle of host publication	4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Editors	Bernhard Steffen
Place of Publication	Berlin
Publisher	Springer
Pages	393-408
Number of pages	16
ISBN (Electronic)	978-3-540-69753-4
ISBN (Print)	978-3-540-64356-2
DOIs	https://doi.org/10.1007/BFb0054185
Publication status	Published - 1998
Event	4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1998 - Lisbon, Portugal Duration: 28 Mar 1998 → 4 Apr 1998 Conference number: 1998

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	1384
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1998
Abbreviated title	TACAS
Country/Territory	Portugal
City	Lisbon
Period	28/03/98 → 4/04/98

Keywords

FMT-MC: MODEL CHECKING

Access to Document

10.1007/BFb0054185

Experience with Literate Programming in the Modelling and Validation of Systems
Ruys, T. C. (Keynote speaker)
3 Apr 1998
Activity: Talk or presentation › Oral presentation

Cite this

Ruys, T. C., & Brinksma, E. (1998). Experience with Literate Programming in the Modelling and Validation of Systems. In B. Steffen (Ed.), Tools and Algorithms for Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (pp. 393-408). (Lecture Notes in Computer Science; Vol. 1384). Springer. https://doi.org/10.1007/BFb0054185

Ruys, Theo C. ; Brinksma, Ed. / Experience with Literate Programming in the Modelling and Validation of Systems. Tools and Algorithms for Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. editor / Bernhard Steffen. Berlin : Springer, 1998. pp. 393-408 (Lecture Notes in Computer Science).

@inproceedings{758f69dd6ce34a11967d49dde4222bae,

title = "Experience with Literate Programming in the Modelling and Validation of Systems",

abstract = "This paper discusses our experience with literate programming tools in the realm of the modelling and validation of systems. We propose the use of literate programming techniques to structure and control the validation trajectory. The use of literate programming is illustrated by means of a running example using Promela and Spin. The paper can also be read as a tutorial on the application of literate programming to formal methods.",

keywords = "FMT-MC: MODEL CHECKING",

author = "Ruys, {Theo C.} and Ed Brinksma",

year = "1998",

doi = "10.1007/BFb0054185",

language = "English",

isbn = "978-3-540-64356-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "393--408",

editor = "Bernhard Steffen",

booktitle = "Tools and Algorithms for Construction and Analysis of Systems",

address = "Germany",

note = "4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1998, TACAS ; Conference date: 28-03-1998 Through 04-04-1998",

}

Ruys, TC & Brinksma, E 1998, Experience with Literate Programming in the Modelling and Validation of Systems. in B Steffen (ed.), Tools and Algorithms for Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Lecture Notes in Computer Science, vol. 1384, Springer, Berlin, pp. 393-408, 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1998, Lisbon, Portugal, 28/03/98. https://doi.org/10.1007/BFb0054185

Experience with Literate Programming in the Modelling and Validation of Systems. / Ruys, Theo C.; Brinksma, Ed.
Tools and Algorithms for Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. ed. / Bernhard Steffen. Berlin: Springer, 1998. p. 393-408 (Lecture Notes in Computer Science; Vol. 1384).

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

TY - GEN

T1 - Experience with Literate Programming in the Modelling and Validation of Systems

AU - Ruys, Theo C.

AU - Brinksma, Ed

N1 - Conference code: 1998

PY - 1998

Y1 - 1998

N2 - This paper discusses our experience with literate programming tools in the realm of the modelling and validation of systems. We propose the use of literate programming techniques to structure and control the validation trajectory. The use of literate programming is illustrated by means of a running example using Promela and Spin. The paper can also be read as a tutorial on the application of literate programming to formal methods.

AB - This paper discusses our experience with literate programming tools in the realm of the modelling and validation of systems. We propose the use of literate programming techniques to structure and control the validation trajectory. The use of literate programming is illustrated by means of a running example using Promela and Spin. The paper can also be read as a tutorial on the application of literate programming to formal methods.

KW - FMT-MC: MODEL CHECKING

U2 - 10.1007/BFb0054185

DO - 10.1007/BFb0054185

M3 - Conference contribution

SN - 978-3-540-64356-2

T3 - Lecture Notes in Computer Science

SP - 393

EP - 408

BT - Tools and Algorithms for Construction and Analysis of Systems

A2 - Steffen, Bernhard

PB - Springer

CY - Berlin

T2 - 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1998

Y2 - 28 March 1998 through 4 April 1998

ER -

Ruys TC, Brinksma E. Experience with Literate Programming in the Modelling and Validation of Systems. In Steffen B, editor, Tools and Algorithms for Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Berlin: Springer. 1998. p. 393-408. (Lecture Notes in Computer Science). doi: 10.1007/BFb0054185

Experience with Literate Programming in the Modelling and Validation of Systems

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Activities

Experience with Literate Programming in the Modelling and Validation of Systems

Cite this