CAV Best Papers
International Conference on Computer-Aided Verification
2 papers · 2025–2025
← CAV Conference Info🏆 2025(2)
Distinguished Paper Award
Introducing Certificates to the Hardware Model Checking CompetitionNils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko
Model Checking
Distinguished Paper Award
A Misconception-Driven Adaptive Tutor for Linear Temporal LogicSiddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
EducationLTL