Tadeás Kucera

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Transition Systems

Finite State Machines

Automated Verification

Top Venues

Publications

Zuzana Baranová, Jiri Barnat, Katarína Kejstová, Tadeás Kucera, Henrich Lauko, Jan Mrázek, Petr Rockai, Vladimír Still
Model Checking of C and C++ with DIVINE 4. ATVA (2017)