Topic: D4 Formal Methods and System Verification

Formal verification and specification techniques (including equivalence checking, model checking, symbolic simulation, theorem proving, abstraction and decomposition techniques); technologies supporting formal verification; semi-formal verification techniques; formal verification of IPs, SoCs, cores, real-time and embedded systems; integration of verification into design flows; challenges of multi-cores, both as verification targets and as verification host platforms.

Chair: Julien Schmaltz, Eindhoven University of Technology, NL, Contact

Co-Chair: Christoph Scholl, University Freiburg, DE, 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
• Marijn Heule, The University of Texas at Austin, US, Contact
• John O’leary, Intel Coporation, US, Contact
• Anna Slobodova, Centaur Technology, US, Contact
• Daryl Stewart, ARM, GB, Contact
• Markus Wedler, Synopsys, DE, Contact