88 citations · 145 across the 12 of their papers we have counts for
13 papers
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
Dirk Beyer, Nian-Ze Lee, Philipp Wendler
The article "Interpolation and SAT-Based Model Checking" (McMillan, 2003) describes a formal-verification algorithm, which was originally devised to verify safety properties of fin…
Towards a Benchmark Set for Program Repair Based on Partial Fixes
Dirk Beyer, Lars Grunske, Thomas Lemberger +1
Software bugs significantly contribute to software cost and increase the risk of system malfunctioning. In recent years, many automated program-repair approaches have been proposed…
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
Dirk Beyer, Heike Wehrheim
The goal of cooperative verification is to combine verification approaches in such a way that they work together to verify a system model. In particular, cooperative verifiers prov…
A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker
Dirk Beyer, Karlheinz Friedberger
Verifying multi-threaded programs is becoming more and more important, because of the strong trend to increase the number of processing units per CPU socket. We introduce a new con…
Combining k-Induction with Continuously-Refined Invariants
Dirk Beyer, Matthias Dangl, Philipp Wendler
Bounded model checking (BMC) is a well-known and successful technique for finding bugs in software. k-induction is an approach to extend BMC-based approaches from falsification to…
Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes
Dirk Beyer, Stefan Löwe, Philipp Wendler
Abstraction is a successful technique in software verification, and interpolation on infeasible error paths is a successful approach to automatically detect the right level of abst…