Talks

From witnesses to human-readable inspection and regression workflows

Separating property definitions from source code using specification automata

Reusing verification results across versions and properties in practice

Program verification based on the composition of reachability tasks

Combining and tuning techniques for verifying multiple properties in practice

Checking multiple verification properties in a single, efficient workflow

Detecting multiple bugs in a single verification run