Current news

Paper Accepted for CAV 2020

The paper "TarTar: A Timed Automata Repair Tool", authored by Martin Kölbl, Stefan Leue and Thomas Wies (New York University) has been accepted for the 32st International Conference on Computer-Aided Verification CAV 2020, to be held in Los Angeles in July, 2020.

Read more

 

 

SPIN 2020

27th International Symposium on Model Checking of Software

Chicago, Illinois, USA, July 24-25, 2020

Shonan Meeting 2019

NII Shonan Meeting:

@ Shonan Village Center in Tokyo, Japan, June 24-27, 2019

Paper on Automated Repair of Timed Systems Accepted for CAV 2019

The paper "Clock Bound Repair for Timed Systems", authored by Martin Kölbl, Stefan Leue and Thomas Wies (New York University) has been accepted for the 31st International Conference on Computer-Aided Verification CAV 2019, to be held in New York City in July, 2019.

SPIN 2019

24th International Symposium on Model Checking of Software

Beijing, China, July 15-19, 2019

FMICS 2018

Formal Methods for Industrial Critical Systems

23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018