Verifying OpenJDK's LinkedList using KeY (extended paper)

The work

TitleVerifying OpenJDK's LinkedList using KeY (extended paper)
AuthorsHans-Dieter A. Hiep; Olaf Maathuis; Jinting Bian; Frank S. de Boer; Stijn de Gouw
Typearticle
Year2022
Citekeyhiep2022verifying

Where it appeared

Published inInternational Journal on Software Tools for Technology Transfer
Volume24
Issue5
Pages783--802

Where this came from

How it got herethe agent went looking · found via bibtex
First seen2026-08-05
Standingendorsed
Approved2026-08-07
In: International Journal on Software Tools for Technology Transfer (STTT) venue

Cite it as

@article{hiep2022verifying,
  title = {Verifying OpenJDK's LinkedList using KeY (extended paper)},
  author = {Hans-Dieter A. Hiep and Olaf Maathuis and Jinting Bian and Frank S. de Boer and Stijn de Gouw},
  year = {2022},
  journal = {International Journal on Software Tools for Technology Transfer},
  volume = {24},
  number = {5},
  pages = {783--802},
}

This record lives at https://refs.drheap.org/hiep2022verifying/ and will keep doing so.