Dominic Steinhöfel
Dominic Steinhöfel
Home
Publications
Projects
Teaching
Talks
Events
Posts
Contact
CV
Light
Dark
Automatic
1
The Trace Modality
We propose the
trace modality
, a concept to uniformly express a wide range of program verification problems. To demonstrate its …
Dominic Steinhöfel
,
Reiner Hähnle
PDF
Cite
DOI
Modular, Correct Compilation with Automatic Soundness Proofs
Dominic Steinhöfel
,
Reiner Hähnle
PDF
Cite
DOI
Assessing the Coverage of Formal Specifications
Proposes a symbolic-execution based approach to measure how much of an implementation is covered by a formal specification, or, in other words, the strength of a specification.
Dominic Steinhöfel
PDF
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows
Dominic Steinhöfel
,
Nathan Wasser
PDF
Cite
DOI
A General Lattice Model for Merging Symbolic Execution Branches
Dominic Scheurer
,
Reiner Hähnle
,
Richard Bubel
PDF
Cite
DOI
«
Cite
×