Activities per year
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.
|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|
|Place of Publication||Berlin|
|Number of pages||16|
|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
|Name||Lecture Notes in Computer Science|
|Conference||4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1998|
|Period||28/03/98 → 4/04/98|
- FMT-MC: MODEL CHECKING
FingerprintDive into the research topics of 'Experience with Literate Programming in the Modelling and Validation of Systems'. Together they form a unique fingerprint.
- 1 Oral presentation