11 citations · 38 across the 7 of their papers we have counts for
8 papers
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
Daniel Baier, Dirk Beyer, Po-Chun Chien +8
This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides ma…
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…
Program Analysis with Local Policy Iteration
George Karpenkov, David Monniaux, Philipp Wendler
We present a new algorithm for deriving numerical invariants that combines the precision of max-policy iteration with the flexibility and scalability of conventional Kleene iterati…
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…
Reusing Precisions for Efficient Regression Verification
Dirk Beyer, Stefan Löwe, Evgeny Novikov +2
Continuous testing during development is a well-established technique for software-quality assurance. Continuous model checking from revision to revision is not yet established as…
Feature-Aware Verification
Sven Apel, Hendrik Speidel, Philipp Wendler +2
A software product line is a set of software products that are distinguished in terms of features (i.e., end-user--visible units of behavior). Feature interactions ---situations in…
Conditional Model Checking
Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu +1
Software model checking, as an undecidable problem, has three possible outcomes: (1) the program satisfies the specification, (2) the program does not satisfy the specification, an…