Dominic Steinhöfel
Dominic Steinhöfel
Home
Posts
Projects
Publications
Talks
Events
Contact
CV
Reiner Hähnle
Latest
Certified Abstract Cost Analysis
Safer Parallelization
The Trace Modality
Abstract Execution
Abstract Execution
The Trace Modality
Verifying OpenJDK's Sort Method for Generic Collections
Modular, Correct Compilation with Automatic Soundness Proofs
A General Lattice Model for Merging Symbolic Execution Branches
Cite
×