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: