The paper “Using the parallel ATerm library for parallel model checking”, by Groote, Jilissen, Laveaux, Spaendonck, and Willemse has been published in Lecture Notes in Computer Science 13560, Springer. It describes how very substantial speedups …continue reading

The paper On the Axiomatisation of Branching Bisimulation Congruence over CCS by Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir and Bas Luttik was presented at CONCUR 2022 on September 13, 2022. In the paper, which is …continue reading

The book Tales of Electrologica. Computers, software and people, by Gerard Alberts and Jan Friso Groote is published in Springer’s History of Computing Series. It provides several accounts of the iconic X8 computer, built in …continue reading

The proceedings of Formal Methods for Industrial Critical Systems (FMICS) 2022, Warsaw, Poland, by Jan Friso Groote and Marieke Huisman are now available as LNCS 13487, Springer.

The paper Constructive Model Inference: Model Learning for Component-based Software Architectures by Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks and Ramon Schiffeler has been presented at SigSoft 2022 in Lissabon, Portugal. The paper …continue reading

The paper (Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems by Thomas Neele was accepted for presentation at ARQNL2022, a workshop affiliated with IJCAR and part of FLoC2022. Furthermore, the paper Partial-Order Reduction for Parity …continue reading

The paper Formal verification of an industrial UML-like model using mCRL2, by Anna Stramaglia and Jeroen Keiren, has been accepted for the CONFEST 2022 conference FMICS. The paper describes the translation of low-code models developed …continue reading