From the 1 of 10 linked papers with an AI index.
10 papers
A Comprehensive History of CRL and mCRL2
Jan Friso Groote, Erik P. de Vink
The paper surveys the history, motivation, and evolution of the μCRL and mCRL2 formalisms, which combine process algebra, term rewriting, and modal mu-calculus to model and analyze…
Spatial Model Checking of Images via Minimised Models and Branching Bisimilarity
Vincenzo Ciancia, Jan Friso Groote, Diego Latella +2
Spatial models are of increasing interest in traditional computer science domains and beyond. Spatial minimisation procedures are crucial for efficient model checking of such model…
A formal specification of the desired software behaviour of the Princess Marijke lock complex
Jan Friso Groote, Matthias Volk
The Princess Marijke lock complex is a large lock and water-protection installation in the Netherlands between the river Rhine and the Amsterdam-Rijnkanaal -- a large waterway conn…
The Autonomous Data Language -- Concepts, Design and Formal Verification
Tom T. P. Franken, Thomas Neele, Jan Friso Groote
Nowadays, the main advances in computational power are due to parallelism. However, most parallel languages have been designed with a focus on processors and threads. This makes de…
A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
Adrian Beers, Jore Booy, Jan Friso Groote +2
The Maeslant Barrier is a storm surge barrier that protects Rotterdam and its harbour from storm surges in the North Sea. Its software control consists of three major components, o…
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
Rob van Glabbeek, Jan Friso Groote, Erik de Vink
This paper proposes a notion of branching bisimilarity for non-deterministic probabilistic processes. In order to characterize the corresponding notion of rooted branching probabil…