research
∙
06/30/2023
Speculative SAT Modulo SAT
State-of-the-art model-checking algorithms like IC3/PDR are based on uni...
share
research
∙
06/16/2023
Fast Approximations of Quantifier Elimination
Quantifier elimination (qelim) is used in many automated reasoning tasks...
research
∙
11/22/2022
CHC-COMP 2022: Competition Report
CHC-COMP 2022 is the fifth edition of the competition of solvers for Con...
research
∙
07/26/2021
Logical Characterization of Coherent Uninterpreted Programs
An uninterpreted program (UP) is a program whose semantics is defined ov...
research
∙
05/27/2020
Global Guidance for Local Generalization in Model Checking
SMT-based model checkers, especially IC3-style ones, are currently the m...
research
∙
06/04/2019