Skip to main content
Conference ProceedingsOPEN ACCESS

Experience with literate programming in the modelling and validation of systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1998) 1384 393-408
DOI: 10.1007/bfb0054185
19Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

This article is free to access.

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.

Cite

CITATION STYLE

APA

Ruys, T. C., & Brinksma, E. (1998). Experience with literate programming in the modelling and validation of systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1384, pp. 393–408). Springer Verlag. https://doi.org/10.1007/bfb0054185

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free