FMCAD 2018: FORMAL METHODS IN COMPUTER AIDED DESIGN 2018
SLIDES

Certifying Proofs for LTL Model Checking

Alberto Griggio, Marco Roveri and Stefano Tonetta

Deductive Verification of Distributed Protocols in First-Order Logic

Oded Padon

Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems

Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv and Sharon Shoham

k-FAIR = k-LIVENESS + FAIR: Revisiting SAT-based Liveness Algorithms

Alexander Ivrii, Ziv Nevo and Jason Baumgartner

Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction

Peter Backeman, Philipp Rümmer and Aleksandar Zeljić

Template-Based Verification of Heap-Manipulating Programs

Viktor Malík, Martin Hruska, Peter Schrammel and Tomas Vojnar

ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstraction for Heterogeneous System-on-Chip Verification

Hongce Zhang, Caroline Trippel, Yatin Manerkar, Aarti Gupta, Margaret Martonosi and Sharad Malik

Formal Verification of Deep Neural Networks

Nina Narodytska

Formal Verification of Unsatisfiability Results

Marijn Heule

CoSA: Integrated Verification for Agile Hardware Design

Cristian Mattarei, Makai Mann, Clark Barrett, Ross Daly, Dillon Huff and Pat Hanrahan
Total: 10 presentations.