From witnesses to human-readable inspection and regression workflows
Talks
7 itemsSeparating 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