Our participation at the FMCAD 2017 conference

Ákos Hajdu, Tamás Tóth and András Vörös from our research group participated at the FMCAD 2017 international conference, held in Vienna, Austria. They presented the paper titled "Theta: a Framework for Abstraction Refinement-Based Model Checking". Additional co-authors are Zoltán Micskei and István Majzik.

Moreover Ákos Hajdu also gave a talk and presented a poster in the Student Forum, with the title "Towards Using Multiple Counterexamples for Abstraction Refinement".

The methods and algorithms presented are available in the Theta model checking framework.