Author: Hiep, Hans-Dieter A.; Maathuis, Olaf; Bian, Jinting; de Boer, Frank S.; van Eekelen, Marko; de Gouw, Stijn
Title: Verifying OpenJDK’s LinkedList using KeY Cord-id: 5h6jfkjz Document date: 2020_3_13
ID: 5h6jfkjz
Snippet: As a particular case study of the formal verification of state-of-the-art, real software, we discuss the specification and verification of a corrected version of the implementation of a linked list as provided by the Java Collection framework.
Document: As a particular case study of the formal verification of state-of-the-art, real software, we discuss the specification and verification of a corrected version of the implementation of a linked list as provided by the Java Collection framework.
Search related documents:
Co phrase search for related documents- Try single phrases listed below for: 1
Co phrase search for related documents, hyperlinks ordered by date