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 for Technology Transfer. This paper is written in the context of the VOICE-B project, which is a collaboration of Canon …continue reading

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