News

The paper "Dynamic Causes for the Violation of Timed Reachability Properties", authored by Martin Kölbl, Stefan Leue and Robert Schmid (University of Konstanz) has been accepted for the 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), to be held in Vienna, Austria, in September 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.

27th International Symposium on Model Checking of Software

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

The paper "An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking", authored by Martin Kölbl and Stefan Leue has been accepted for the 17th International Symposium on Automated Technology for Verification and Analysis ATVA 2019, to be held in Taipei in October 2019.

NII Shonan Meeting:

@ Shonan Village Center in Tokyo, Japan, June 24-27, 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.

24th International Symposium on Model Checking of Software

Beijing, China, July 15-19, 2019

Formal Methods for Industrial Critical Systems

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