Modelling and analysing software in mCRL2

Jan Friso Groote; Jeroen J.A. Keiren; S.P. (Bas) Luttik; Erik P. de Vink; Tim A.C. Willemse

doi:10.1007/978-3-030-40914-2_2

Modelling and analysing software in mCRL2

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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.

Original language	English
Title of host publication	Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings
Subtitle of host publication	FACS 2019
Editors	Farhad Arbab, Sung-Shik Jongmans
Place of Publication	Cham
Publisher	Springer
Pages	25-48
Number of pages	24
ISBN (Print)	9783030409135
DOIs	https://doi.org/10.1007/978-3-030-40914-2_2
Publication status	Published - 2020

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12018 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-030-40914-2_2

Cite this

Groote, J. F., Keiren, J. J. A., Luttik, S. P., de Vink, E. P., & Willemse, T. A. C. (2020). Modelling and analysing software in mCRL2. In F. Arbab, & S.-S. Jongmans (Eds.), Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings: FACS 2019 (pp. 25-48). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12018 LNCS). Springer. https://doi.org/10.1007/978-3-030-40914-2_2

Groote, Jan Friso ; Keiren, Jeroen J.A. ; Luttik, S.P. (Bas) et al. / Modelling and analysing software in mCRL2. Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings: FACS 2019. editor / Farhad Arbab ; Sung-Shik Jongmans. Cham : Springer, 2020. pp. 25-48 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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",

}

Groote, JF , Keiren, JJA , Luttik, SP , de Vink, EP & Willemse, TAC 2020, Modelling and analysing software in mCRL2. in F Arbab & S-S Jongmans (eds), Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings: FACS 2019. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12018 LNCS, Springer, Cham, pp. 25-48. https://doi.org/10.1007/978-3-030-40914-2_2

Modelling and analysing software in mCRL2. / Groote, Jan Friso ; Keiren, Jeroen J.A.; Luttik, S.P. (Bas) et al.
Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings: FACS 2019. ed. / Farhad Arbab; Sung-Shik Jongmans. Cham: Springer, 2020. p. 25-48 (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

TY - GEN

T1 - Modelling and analysing software in mCRL2

AU - Groote, Jan Friso

AU - Keiren, Jeroen J.A.

AU - Luttik, S.P. (Bas)

AU - de Vink, Erik P.

AU - Willemse, Tim A.C.

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85080910796

U2 - 10.1007/978-3-030-40914-2_2

DO - 10.1007/978-3-030-40914-2_2

M3 - Conference contribution

SN - 9783030409135

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 25

EP - 48

BT - Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings

A2 - Arbab, Farhad

A2 - Jongmans, Sung-Shik

PB - Springer

CY - Cham

ER -

Groote JF , Keiren JJA , Luttik SP , de Vink EP , Willemse TAC. Modelling and analysing software in mCRL2. In Arbab F, Jongmans SS, editors, Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings: FACS 2019. Cham: Springer. 2020. p. 25-48. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-40914-2_2

Modelling and analysing software in mCRL2

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Modelling and analysing software in mCRL2

Cite this