Awards

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