Section: Overall Objectives

Highlights

• Marie Duflot-Kremer joined VeriDis in September 2011. Previously at University Paris Est Créteil, she is an assistant professor at University Henri Poincaré Nancy 1. Her research is centered around statistical model checking and the verification of probabilistic systems.

• The veriT solver (see section  5.1 ) entered for the third time the international competition of SMT solvers, SMT-COMP 2011 , a joint event with the SMT workshop 2011 and the CAV conference. It implemented a new original technique (presented at CADE 2011) that greatly improves efficiency on some categories of benchmarks. Several competitors also implemented this technique, as for instance the winner of the competition on those categories (Z3).

• Pascal Fontaine (VeriDis) and Aaron Stump (University of Iowa) organized the first workshop on Proof eXchange for Theorem Proving, co-located with CADE 2011. The workshop was well attended and we believe that this series of events will stimulate research in the area, and will lead to important improvement in reasoning techniques.