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

    15 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