Technical Programme Committee 2018

Printer-friendly version PDF version

Topic: D4 Formal Methods and Verification

Formal verification and specification techniques (including equivalence checking, model checking, symbolic simulation, theorem proving, abstraction, decomposition techniques and compositional reasoning); core algorithmic technologies supporting formal verification such as SAT and SMT techniques; formal verification of hardware (including IPs, SoCs, and cores), software, HW-SW systems, timed, or hybrid systems; semi-formal verification techniques; integration of verification into design flows; challenges of multi-cores (as verification targets or as verification host platforms); formal synthesis.

Chair: Christoph Scholl, University Freiburg, DE, Contact

Co-Chair: Armin Biere, Johannes Kepler University Linz, AT, Contact


  • Roderick Bloem, Graz University of TEchnology, AT, Contact
  • Gianpiero Cabodi, Politecnico di Torino, IT, Contact
  • Alessandro Cimatti, Fondazione Bruno Kessler, IT, Contact
  • Daniel Kroening, University of Oxford, GB, Contact
  • Julien Schmaltz, Eindhoven University of Technology, NL, Contact
  • Daryl Stewart, ARM, GB, Contact
  • Dominik Stoffel, TU Kaiserslautern, DE, Contact
  • Christoph M. Wintersteiger, Microsoft Research, GB, Contact