Modelling and Analysing Software in mCRL2

Jan Friso Groote; Jeroen J.A. Keiren; 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

Jan Friso Groote, Jeroen J.A. Keiren, Bas Luttik, Erik P. de Vink, Tim A.C. Willemse

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

14 Citations (Scopus)

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
Editors	Farhad Arbab, Sung-Shik Jongmans
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 - 1 Jan 2020
Event	16th International Conference on Formal Aspects of Component Software, FACS 2019 - Amsterdam, Netherlands Duration: 23 Oct 2019 → 25 Oct 2019

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

Conference

Conference	16th International Conference on Formal Aspects of Component Software, FACS 2019
Country/Territory	Netherlands
City	Amsterdam
Period	23/10/19 → 25/10/19

Access to Document

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

Cite this

Groote, J. F., Keiren, J. J. A., Luttik, B., 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 (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, Bas et al. / Modelling and Analysing Software in mCRL2. Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings. editor / Farhad Arbab ; Sung-Shik Jongmans. Springer, 2020. pp. 25-48 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{5fc63de148324d159fb0b71656bd47ae,

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 Bas Luttik and {de Vink}, {Erik P.} and Willemse, {Tim A.C.}",

year = "2020",

month = jan,

day = "1",

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

note = "16th International Conference on Formal Aspects of Component Software, FACS 2019 ; Conference date: 23-10-2019 Through 25-10-2019",

}

Groote, JF , Keiren, JJA , Luttik, B , 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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12018 LNCS, Springer, pp. 25-48, 16th International Conference on Formal Aspects of Component Software, FACS 2019, Amsterdam, Netherlands, 23/10/19. 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, Bas et al.
Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings. ed. / Farhad Arbab; Sung-Shik Jongmans. 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, Bas

AU - de Vink, Erik P.

AU - Willemse, Tim A.C.

PY - 2020/1/1

Y1 - 2020/1/1

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 - http://www.scopus.com/inward/record.url?scp=85080910796&partnerID=8YFLogxK

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

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

M3 - Conference contribution

AN - SCOPUS:85080910796

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

T2 - 16th International Conference on Formal Aspects of Component Software, FACS 2019

Y2 - 23 October 2019 through 25 October 2019

ER -

Groote JF , Keiren JJA , Luttik B , 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. 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

Conference

Access to Document

Other files and links

Fingerprint

Cite this