Publications

Found 5 results
Filters: Autor is Reiner Hähnle  [Clear All Filters]
2020
D. Steinhöfel und Hähnle, R., The Trace Modality, in International Workshop on Dynamic Logic, 2020.
2019
D. Steinhöfel und Hähnle, R., Abstract Execution, in Formal Methods – The Next 30 Years, 2019.
N. Wasser, Tabar, A. Heydari, und Hähnle, R., Modeling Non-deterministic C Code with Active Objects, in International Conference on Fundamentals of Software Engineering, 2019.
R. Bubel, Hähnle, R., und Tabar, A. Heydari, A Program Logic for Dependence Analysis, in International Conference on Integrated Formal Methods, 2019.
2018
D. Steinhöfel und Hähnle, R., Modular, Correct Compilation with Automatic Soundness Proofs, in International Symposium on Leveraging Applications of Formal Methods, 2018.