Formal Methods in
Computer-Aided Design
Yale University


Congratulations to the authors of the following papers and poster!

Best Paper Award:

Rohit Dureja, Arie Gurfinkel, Alexander Ivrii and Yakir Vizel. IC3 with Internal Signals


Best Paper Runner Up Award:

Dapeng Gao and Tom Melham. End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers


Best Student Poster Award:

Guy Amir: Verifying Deep Reinforcement-Learning Systems