88 citations · 99 across the 2 of their papers we have counts for
3 papers
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…
Software Model Checking via Large-Block Encoding
Dirk Beyer, Alessandro Cimatti, Alberto Griggio +2
The construction and analysis of an abstract reachability tree (ART) are the basis for a successful method for software verification. The ART represents unwindings of the control-f…
CPAchecker: A Tool for Configurable Software Verification
Dirk Beyer, M. Erkan Keremoglu
Configurable software verification is a recent concept for expressing different program analysis and model checking approaches in one single formalism. This paper presents CPAcheck…