research
∙
08/09/2022
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
Interpolation-based model checking (McMillan, 2003) is a formal-verifica...
share
research
∙
07/16/2021
Towards a Benchmark Set for Program Repair Based on Partial Fixes
Software bugs significantly contribute to software cost and increase the...
research
∙
08/17/2019
Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art
Property-directed reachability (PDR) is a SAT/SMT-based reachability alg...
research
∙
05/21/2019