Philipp Wendler
YOU?
Author Swipe
View article: SoSy-Lab Virtual Machine (Ubuntu 24.04 LTS)
SoSy-Lab Virtual Machine (Ubuntu 24.04 LTS) Open
Virtual Machine for Reproduction of Results This VM can be used for running the reproduction packages published by SoSy-Lab. Operating system Ubuntu 24.04.2 LTS with Linux kernel 6.8.0-57-generic Resource Configurations By default, this VM…
View article: Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification Open
The article Interpolation and SAT-Based Model Checking (McMillan in: Proc. CAV 2003, LNCS, Springer [56]) describes a formal-verification algorithm, which was originally devised to verify safety properties of finite-state transition system…
View article: Software Verification with CPAchecker 3.0: Tutorial and User Guide
Software Verification with CPAchecker 3.0: Tutorial and User Guide Open
This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides many abstract domains, such as BDDs, explicit values, interva…
View article: Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version) Open
This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides many abstract domains, such as BDDs, explicit values, interva…
View article: CPAchecker 2.3 with Strategy Selection
CPAchecker 2.3 with Strategy Selection Open
CPAchecker is a versatile framework for software verification, rooted in the established concept of configurable program analysis . Compared to the last published system description at SV-COMP 2015, the CPAchecker submission to SV-COMP 202…
View article: Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification Open
The article "Interpolation and SAT-Based Model Checking" (McMillan, 2003) describes a formal-verification algorithm, which was originally devised to verify safety properties of finite-state transition systems. It derives interpolants from …
View article: Correction to: Reliable benchmarking: requirements and solutions
Correction to: Reliable benchmarking: requirements and solutions Open
The article Reliable benchmarking: requirements and solutions.
View article: Correction to: A Unifying View on SMT-Based Software Verification
Correction to: A Unifying View on SMT-Based Software Verification Open
The article “A Unifying View on SMT-Based Software Verification”, written by Dirk Beyer, Matthias Dangl, and Philipp Wendler, was originally published Online First without Open Access
View article: sosy-lab/cpu-energy-meter: Release 1.2
sosy-lab/cpu-energy-meter: Release 1.2 Open
Fix for segfault on some systems
View article: sosy-lab/benchexec: Release 1.18
sosy-lab/benchexec: Release 1.18 Open
Add result done that tools can output if the standard results true/false/unknown are not applicable (for example because no property was checked), and the run completed successfully. In container mode, --keep-system-config is no longer nec…
View article: A Unifying View on SMT-Based Software Verification
A Unifying View on SMT-Based Software Verification Open
After many years of successful development of new approaches for software verification, there is a need to consolidate the knowledge about the different abstract domains and algorithms. The goal of this paper is to provide a compact and ac…
View article: Towards Practical Predicate Analysis
Towards Practical Predicate Analysis Open
Software model checking is a successful technique for automated program verification. Several of the most widely used approaches for software model checking are based on solving first-order-logic formulas over predicates using SMT solvers,…
View article: Reliable benchmarking: requirements and solutions
Reliable benchmarking: requirements and solutions Open
Benchmarking is a widely used method in experimental computer science, in particular, for the comparative evaluation of tools and algorithms. As a consequence, a number of questions need to be answered in order to ensure proper benchmarkin…