TACAS Best Papers
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
2 papers · 2024–2025
← TACAS 학회 정보🏆 2025(1)
Best Paper Award
Unsatisfiability Proofs for Horn SolvingOtoni, Blicha, Barandiaran Rivera, Eugster, Kofroň & Sharygina
SMT SolvingFormal Verification
🏆 2024(1)
Best Paper Award
Scalable Tree-based Register Automata LearningFiterau-Brostean, Dierl, Howar, Jonsson, Sagonas & Tåquist
Automata LearningFormal Methods