Modelling and Analysing Software in mCRL2

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 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 languageEnglish
Title of host publicationFormal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings
EditorsFarhad Arbab, Sung-Shik Jongmans
PublisherSpringer
Pages25-48
Number of pages24
ISBN (Print)9783030409135
DOIs
Publication statusPublished - 1 Jan 2020
Event16th International Conference on Formal Aspects of Component Software, FACS 2019 - Amsterdam, Netherlands
Duration: 23 Oct 201925 Oct 2019

Publication series

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

Conference

Conference16th International Conference on Formal Aspects of Component Software, FACS 2019
Country/TerritoryNetherlands
CityAmsterdam
Period23/10/1925/10/19

Fingerprint

Dive into the research topics of 'Modelling and Analysing Software in mCRL2'. Together they form a unique fingerprint.

Cite this