Our participation at the ETAPS 2017 conference

Ákos Hajdu, a PhD student of our group participated at the ETAPS 2017 international conference in Uppsala, Sweden, where he presented two papers.

At the FESCA 2017 workshop (14th International Workshop on Formal Engineering approaches to Software Components and Architectures) he presented the paper "Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers". Co-authors: Bence Czipó, Tamás Tóth, István Majzik.

At the VPT 2017 workshop (5th International Workshop on Verification and Program Transformation) he presented the paper "Towards Evaluating Size Reduction Techniques for Software Model Checking". Co-authors: Gyula Sallai, Tamás Tóth, Zoltán Micskei.