@inproceedings{978f208a3a7e4ca194180ee8a14a5ee8,
title = "Modelling and analysing software in mCRL2",
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.",
author = "Groote, {Jan Friso} and Keiren, {Jeroen J.A.} and Luttik, {S.P. (Bas)} and {de Vink}, {Erik P.} and Willemse, {Tim A.C.}",
year = "2020",
doi = "10.1007/978-3-030-40914-2_2",
language = "English",
isbn = "9783030409135",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "25--48",
editor = "Farhad Arbab and Sung-Shik Jongmans",
booktitle = "Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings",
address = "Germany",
}