News

 

 

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

Further announcements