The paper “Formal verification of OIL component specifications using mCRL2” by Olav Bunte, Louis van Gool and Tim Willemse has been accepted for presentation at FMICS 2020, which will take place as an online conference, …continue reading