Formal Methods in
Computer-Aided Design
Sep 21-24, 2020, Online


Best Paper

Shuvendu Lahiri, Akash Lal, Alexander Nutz, Sridhar Gopinath, Vladimir Levin, Rahul Kumar, Nate Deisinger, Chetan Bansal and Jakob Lichtenberg. Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost

Honorable Mention

Florian Lonsing, Subhasish Mitra and Clark Barrett. A Theoretical Framework for Symbolic Quick Error Detection

Best Student Contribution

Sibylle Möhle. (Dual) Projected Propositional Model Counting and Enumeration without Repetition