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

Kutatócsoportunk doktorandusza, Hajdu Ákos részt vett az idén Svédországban megrendezett ETAPS 2017 nemzetközi konferencián, ahol két cikk is bemutatásra került.

A FESCA 2017 (14th International Workshop on Formal Engineering approaches to Software Components and Architectures) workshopon az "Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers" című cikket adta elő. Társszerzők: Czipó Bence, Tóth Tamás, Majzik István.

A VPT 2017 (5th International Workshop on Verification and Program Transformation) workshopon pedig a "Towards Evaluating Size Reduction Techniques for Software Model Checking" című cikket prezentálta. Társszerzők: Sallai Gyula, Tóth Tamás, Micskei Zoltán.