Verifying OpenJDK's LinkedList using KeY: Proof Files

Hiep, H.A. (Hans-Dieter)
Maathuis, O. (Olaf)
Bian, J. (Jinting)
Boer, F.S. (Frank) de
van Eekelen, M. (Marko)
Gouw, C.P.T. (Stijn) de

Publication date

October 2019

Abstract

This archive contains a formal specification of Java's linked list. The archive contains an annotated version of java.util.LinkedList using the Java Modeling Language. Additionally, it includes the KeY version used to formally verify the annotated methods, and the corresponding proof files

Extracted data

We use cookies to provide a better user experience.

Data Protection

Verifying OpenJDK's LinkedList using KeY: Proof Files

Abstract

Extracted data

Verifying OpenJDK's LinkedList using KeY: Proof Files

Abstract

Extracted data

Related items

Related items