Work

Verifying OpenJDK's LinkedList using KeY: Proof Files

Year: 2019

Type: software

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. The OpenJDK8 version can be found here: https://hg.openjdk.java.net/jdk8/jdk8/jdk/file/687fd7c7986d/src/share/classes/java/util/LinkedList.java

Source: Figshare

DOI: 10.5281/zenodo.3517081

Authors: Hiep, Hans-Dieter A., Maathuis, Olaf, Jinting Bian, Boer, Frank S. De, Eekelen, Marko Van, Gouw, Stijn De

Institutions: Centrum Wiskunde & Informatica, Achmea (Netherlands), Open University of the Netherlands

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6931148476

Cites:

Cited by: 2

Related to: 10