Content available in repository
Content available in repository
Abstract
Model checking is an effective way to design correct software.
Making behavioural models of software, formulating correctness properties using modal formulas, and verifying these using finite state analysis techniques, is a very efficient way to obtain the required insight in the software. We illustrate this on four common but tricky examples.
Making behavioural models of software, formulating correctness properties using modal formulas, and verifying these using finite state analysis techniques, is a very efficient way to obtain the required insight in the software. We illustrate this on four common but tricky examples.
| Original language | English |
|---|---|
| Place of Publication | Eindhoven |
| Publisher | Technische Universiteit Eindhoven |
| Number of pages | 24 |
| Publication status | Published - Dec 2019 |
Publication series
| Name | Computer Science Reports |
|---|---|
| Volume | 19-05 |
| ISSN (Print) | 0926-4515 |
Fingerprint
Dive into the research topics of 'Modelling and analysing software in mCRL2'. Together they form a unique fingerprint.Research output
- 1 Conference contribution
-
Modelling and analysing software in mCRL2
Groote, J. F., Keiren, J. J. A., Luttik, S. P., de Vink, E. P. & Willemse, T. A. C., 2020, Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings: FACS 2019. Arbab, F. & Jongmans, S.-S. (eds.). Cham: Springer, p. 25-48 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
16 Citations (Scopus)