Modelling and analysing software in mCRL2

Onderzoeksoutput: Boek/rapportRapportAcademic

574 Downloads (Pure)

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
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's24
StatusGepubliceerd - dec. 2019

Publicatie series

NaamComputer Science Reports
Volume19-05
ISSN van geprinte versie0926-4515

Vingerafdruk

Duik in de onderzoeksthema's van 'Modelling and analysing software in mCRL2'. Samen vormen ze een unieke vingerafdruk.
  • 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. (redactie). Cham: Springer, blz. 25-48 24 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    10 Citaten (Scopus)

Citeer dit