SAT/SMT/AR 2016 nyári iskola részvétel

Kutatócsoportunk doktorandusza, Hajdu Ákos részt vett az idén Portugáliában megrendezett SAT/SMT/AR 2016 (Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning) nyári iskolában, ahol a poszter szekcióban saját munkáját is bemutatta. Poszterének címe "A SAT/SMT-based CEGAR Framework"