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, organised from Vienna, Austria in September 2020. This paper is written in the context of the VOICE-B project, which is …continue reading