The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Verifying OpenJDK's LinkedList using KeY (Extended Paper): Proof Files

The work

AuthorsHans-Dieter A. Hiep; Olaf Maathuis; Jinting Bian; Frank S. de Boer; Stijn de Gouw
Editors
Typemisc
Year2021
Also known ashiep2021verifying
Citekeyhiep2021verifyingproof

Where it appeared

Published inZenodo (CERN European Organization for Nuclear Research)
PublisherEuropean Organization for Nuclear Research

Identifiers

DOI10.5281/zenodo.5648775
OpenAlexW6893978788

Access

Landing pagehttps://zenodo.org/record/5648776

Related

Supersedeshiep2019verifyingproof

From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.

Abstract

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.

How it got here

How it got hereagent via openalex
Added2026-10-25 00:14 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

bian deboer degouw hiep verifying-real-java

Cite it as

@misc{hiep2021verifyingproof,
  title        = {Verifying OpenJDK's LinkedList using KeY (Extended Paper): Proof Files},
  author       = {Hans-Dieter A. Hiep and Olaf Maathuis and Jinting Bian and Frank S. de Boer and Stijn de Gouw},
  year         = {2021},
  journal      = {Zenodo (CERN European Organization for Nuclear Research)},
  publisher    = {European Organization for Nuclear Research},
  doi          = {10.5281/zenodo.5648775},
}

This record lives at https://refs.drheap.org/hiep2021verifyingproof/ and will keep doing so. It used to be called hiep2021verifying, and those addresses still resolve to this one.