Technical Programme Committee 2017

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 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 Christoph Scholl

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