CAV Best Papers
International Conference on Computer-Aided Verification
2 papers · 2025–2025
← CAV 학회 정보🏆 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