Részvételünk az FMCAD 2017 konferencián

Kutatócsoportunk munkatársai, Hajdu Ákos, Tóth Tamás és Vörös András részt vettek az idén Bécsben megrendezett FMCAD 2017 konferencián, ahol a "Theta: a Framework for Abstraction Refinement-Based Model Checking" című cikket mutatták be. A cikk további társszerzői Micskei Zoltán és Majzik István.

Emellett Hajdu Ákos a Student Forum keretében "Towards Using Multiple Counterexamples for Abstraction Refinement" című előadását és poszterét mutatta be.

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