Frank S. de Boer
14 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Dynamic Separation Logic
Frank S. de Boer et al. (2023) · 39th Conference on the Mathematical Foundations of Programming Semantics (MFPS)
Verifying OpenJDK's LinkedList using KeY (extended paper)
Hans-Dieter A. Hiep et al. (2022) · International Journal on Software Tools for Technology Transfer
Integrating ADTs in KeY and their Application to History-based Reasoning
Jinting Bian et al. (2021) · 24th International Symposium on Formal Methods (FM)
Symbolic execution formally explained
Frank S. de Boer et al. (2021) · Formal Aspects of Computing
History-Based Specification and Verification of Java Collections in KeY
Hans-Dieter A. Hiep et al. (2020) · Integrated Formal Methods
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
Stijn de Gouw et al. (2016) · Software and Systems Modeling
Being and Change: Reasoning About Invariance
Frank S. de Boer et al. (2015) · Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Stijn de Gouw et al. (2015) · Computer Aided Verification
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Bernhard Beckert et al. (2013)
Verification of object-oriented programs: A transformational approach
Krzysztof R. Apt et al. (2012) · Journal of Computer and System Sciences
Abstract Object Creation in Dynamic Logic: To Be or Not to Be Created
Wolfgang Ahrendt et al. (2009) · FM 2009: Formal Methods
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt et al. (2009)
A WP-calculus for OO
Frank S. de Boer (1999) · Foundations of Software Science and Computation Structures