Experience with Literate Programming in the Modelling and Validation of Systems

T.C. Ruys, Hendrik Brinksma

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

16 Citations (Scopus)

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 languageUndefined
Title of host publicationTools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98
EditorsBernhard Steffen
Place of PublicationBerlin
PublisherSpringer
Pages393-408
Number of pages16
ISBN (Print)3-540-64356-7
DOIs
Publication statusPublished - 1998
Event4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1998 - Lisbon, Portugal
Duration: 28 Mar 19984 Apr 1998
Conference number: 1998

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume1384

Conference

Conference4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1998
Abbreviated titleTACAS
CountryPortugal
CityLisbon
Period28/03/984/04/98

Keywords

  • EWI-6507
  • METIS-119580
  • IR-63313
  • FMT-MC: MODEL CHECKING

Cite this

Ruys, T. C., & Brinksma, H. (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 (pp. 393-408). (Lecture Notes in Computer Science; Vol. 1384). Berlin: Springer. https://doi.org/10.1007/BFb0054185
Ruys, T.C. ; Brinksma, Hendrik. / 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. 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 = "EWI-6507, METIS-119580, IR-63313, FMT-MC: MODEL CHECKING",
author = "T.C. Ruys and Hendrik Brinksma",
year = "1998",
doi = "10.1007/BFb0054185",
language = "Undefined",
isbn = "3-540-64356-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "393--408",
editor = "Bernhard Steffen",
booktitle = "Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98",

}

Ruys, TC & Brinksma, H 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. 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, T.C.; Brinksma, Hendrik.

Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98. ed. / Bernhard Steffen. Berlin : Springer, 1998. p. 393-408 (Lecture Notes in Computer Science; Vol. 1384).

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

TY - GEN

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

AU - Ruys, T.C.

AU - Brinksma, Hendrik

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 - EWI-6507

KW - METIS-119580

KW - IR-63313

KW - FMT-MC: MODEL CHECKING

U2 - 10.1007/BFb0054185

DO - 10.1007/BFb0054185

M3 - Conference contribution

SN - 3-540-64356-7

T3 - Lecture Notes in Computer Science

SP - 393

EP - 408

BT - Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98

A2 - Steffen, Bernhard

PB - Springer

CY - Berlin

ER -

Ruys TC, Brinksma H. 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. Berlin: Springer. 1998. p. 393-408. (Lecture Notes in Computer Science). https://doi.org/10.1007/BFb0054185