Technical Programme Committee 2014

Printer-friendly version PDF version

Topic: D7 Formal Methods and Verification

Formal verification and specification techniques (including equivalence checking, model checking, symbolic simulation, theorem-proving, abstraction and decomposition techniques, and real-time verification); technologies supporting formal verification (including SMT, SAT, BDD, ATPG, and related work); semi-formal verification techniques; applications and case studies; formal verification of IPs, SoCs, cores, real-time and embedded systems; verification in practice, namely the integration of verification into the design flow; challenges of multi-cores, both as verification targets and as verification host platforms.

Chair: Jason Baumgartner, IBM Corporation, US, Contact

Co-Chair: Julien Schmaltz, Open University, NL, Contact

Members:

  • Armin Biere, Universitaet Linz, AT, Contact
  • Per Bjesse, Synopsys, IE, Contact
  • Gianpiero Cabodi, Politecnico di Torino, IT, Contact
  • Alessandro Cimatti, FBK-irst (Fondazione Bruno Kessler - Center for Information technology), IT, Contact
  • Barbara Jobstmann, VERIMAG, FR, Contact
  • Fahim Rahim, Atrenta, FR, Contact
  • Christoph Scholl, University Freiburg, DE, Contact
  • Thomas Wahl, Northeastern University Boston, US, Contact