History-Based Specification and Verification of Java Collections in KeY

von Hiep, Hans-Dieter A.
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

Integrating ADTs in KeY and Their Application to History-Based Reasoning

von Bian, Jinting
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Verifying OpenJDK's LinkedList using KeY

von Hiep, Hans-Dieter A.
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)