Posted: 17th July 2018

The department's Professor Daniel Kroening was one of the winners of the CAV 2018 Award for SAT-based and Bounded Model Checking.

The group received the award at the International Conference on Computer Aided Verification (CAV) 2018, held as part of the Federated Logic Conference 2018, for their outstanding contribution to the enhancement and scalability of model checking by introducing Bounded Model Checking based on Boolean Satisfiability (SAT) for hardware (BMC) and software (CBMC).

The other winners were Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Flavio Lerda, and Yunshan Zhu.