research
∙
07/26/2022
Extensible Proof Systems for Infinite-State Systems
This paper revisits soundness and completeness of proof systems for prov...
share
research
∙
05/17/2022
Formal verification of an industrial UML-like model using mCRL2 (extended version)
Low-code development platforms are gaining popularity. Essentially, such...
research
∙
11/03/2021
Fair Mutual Exclusion for N Processes (extended version)
Peterson's mutual exclusion algorithm for two processes has been general...
research
∙
04/21/2021
Tutorial: Designing Distributed Software in mCRL2
Distributed software is very tricky to implement correctly as some error...
research
∙
01/15/2021
Deadlock in packet switching networks
A deadlock in a packet switching network is a state in which one or more...
research
∙
09/24/2019