The next IncQuery Labs Academy focuses on SAT/SMT/AR solvers and provers which have gone through a great improvement in the recent decades. They serve as engines for algorithms in many fields, including software analysis, hardware verification, testing and security. Based on the annual SAT/SMT/AR summer school, Akos Hajdu, PhD student at BME, gives an overview on modeling in these logics, on the algorithms of solvers and on the practical applications.
Date: 08 July, 2016 I 13:30 - 14:00 PM
Language of the presentation: HU