The journal paper “Formal verification of OIL component specifications using mCRL2” by Olav Bunte, Louis van Gool and Tim Willemse has been accepted for the special issue FMICS 2019/2020 of the journal on Software Tools …continue reading

The weekly FSA colloquium is postponed until further notice due to the precautionary measures to contain the Corona outbreak.