Előadásunk a FORMATS konferencián

Vörös András, h, 2017-10-09 13:32

Kutatócsoportunk munkatársa, Tóth Tamás részt vett az idén Berlinben megrendezett FORMATS 2017 (15th International Conference on Formal Modelling and Analysis of Timed Systems) nemzetközi konferencián, ahol "Lazy Reachability Checking for Timed Automata using Interpolants" című cikkét mutatta be. A cikk társszerzője Majzik István.

A bemutatott algoritmusok és módszerek a tanszéki Theta modellellenőrző keretrendszerben érhetőek el.