Dominic Steinhöfel
Dominic Steinhöfel
Home
Posts
Projects
Publications
Talks
Events
Contact
CV
Dominic Steinhöfel
Latest
Safer Parallelization
REFINITY to Model and Prove Program Transformation Rules
Abstract Execution: Automatically Proving Infinitely Many Programs
Treating for-Loops as First-Class Citizens in Proofs
The Trace Modality
Abstract Execution
Abstract Execution
Technical Report: Using Loop Scopes with for-Loops
The Trace Modality
Verifying OpenJDK's Sort Method for Generic Collections
Modular, Correct Compilation with Automatic Soundness Proofs
Assessing the Coverage of Formal Specifications
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows
Cite
×