Topic: D4 Formal Methods and 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, and cores; integration of verification into design flows; challenges of multi-cores, both as verification targets and as verification host platforms.

Chair: Christoph Scholl, University Freiburg, DE, Contact

Co-Chair: Armin Biere, Universitaet Linz, AT, Contact

Members:

• Alberto Griggio, Fondazione Bruno Kessler, IT, Contact
• Marijn Heule, The University of Texas at Austin, US, Contact
• Barbara Jobstmann, VERIMAG, FR, Contact
• Wenchao Li, Boston University, US, Contact
• Julien Schmaltz, Eindhoven University of Technology, NL, Contact
• Daryl Stewart, ARM, GB, Contact