Search filters

List of works by Dirk Beyer

A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification

scientific article published on 12 July 2024

CPA-SymExec: efficient symbolic execution in CPAchecker

scientific article published on 20 August 2018

Decomposing Software Verification using Distributed Summary Synthesis

scientific article published on 12 July 2024

Linux Driver Verification

scientific article published in 2012

Software model checking via large-block encoding

scientific article published in November 2009

TOOLympics 2019: An Overview of Competitions in Formal Methods

scientific article published in 2019

Verification Witnesses

scientific article published on 27 May 2022

Paulina is supported by:

About Paulina

Help