Modelling and Analysing Software in mCRL2

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Samenvatting

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.

Originele taal-2Engels
TitelFormal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings
RedacteurenFarhad Arbab, Sung-Shik Jongmans
UitgeverijSpringer
Pagina's25-48
Aantal pagina's24
ISBN van geprinte versie9783030409135
DOI's
StatusGepubliceerd - 1 jan 2020
Evenement16th International Conference on Formal Aspects of Component Software, FACS 2019 - Amsterdam, Nederland
Duur: 23 okt 201925 okt 2019

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12018 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Congres

Congres16th International Conference on Formal Aspects of Component Software, FACS 2019
LandNederland
StadAmsterdam
Periode23/10/1925/10/19

Vingerafdruk Duik in de onderzoeksthema's van 'Modelling and Analysing Software in mCRL2'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    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 (editors), Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings (blz. 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