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.
A Tutorial on Verifying LinkedList using KeY: Part 1
The work
| Authors | Jinting Bian; Hans-Dieter A. Hiep |
|---|---|
| Editors | |
| Type | dataset |
| Year | 2020 |
| Also known as | bian2020tutorial |
| Citekey | bian2020tutorialpart1 |
Where it appeared
| Published in | Figshare |
|---|---|
| Publisher | Figshare (United Kingdom) |
Identifiers
| DOI | 10.6084/m9.figshare.11662824 |
|---|---|
| OpenAlex | W6958428014 |
Access
| Landing page | https://figshare.com/articles/media/A_Tutorial_on_Verifying_LinkedList_using_KeY_Part_1/11662824 |
|---|
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
In this 9 minute session, we show how to prove the implementation of the constructor, linkLast, and add methods of java.util.LinkedList correct with respect to their method contracts using the KeY prover. The method contract is specified using JML (not shown in video).
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-24 13:45 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@misc{bian2020tutorialpart1,
title = {A Tutorial on Verifying LinkedList using KeY: Part 1},
author = {Jinting Bian and Hans-Dieter A. Hiep},
year = {2020},
journal = {Figshare},
publisher = {Figshare (United Kingdom)},
doi = {10.6084/m9.figshare.11662824},
}
This record lives at https://refs.drheap.org/bian2020tutorialpart1/ and will keep
doing so. It used to be called bian2020tutorial, and those addresses still resolve to this one.