Presentation at the FORMATS conference

Tamás Tóth has presented a paper at the FORMATS 2017 (15th International Conference on Formal Modelling and Analysis of Timed Systems) international confernce. The title of the paper: "Lazy Reachability Checking for Timed Automata using Interpolants".

The co-author of the paper is István Majzik.

The introduced algorithms and approaches are available at our model checking framework Theta.