Skip to content
FORMAL SYSTEM ANALYSIS

FORMAL SYSTEM ANALYSIS
RESEARCH GROUP

  • Home
  • Research
  • Education
  • Student projects
  • People
  • News

Author: Olav Bunte

Paper on the formal verification of OIL component specifications accepted at FMICS 2020

Posted on July 6, 2020July 6, 2020 by Olav Bunte

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

Posted in Research

Agenda

March 2021
MTWTFSS
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31     
« Feb   Apr »

SUBSCRIBE TO CALENDAR

Calendar Feed

Events by Category

  • FSA Colloquium
  • MSc Defences
  • PhD Defence

Colloquium

Schedule
Theme by Out the Box