Verifying OpenJDK's LinkedList using KeY (extended paper)
The work
| Authors | Hans-Dieter A. Hiep; Olaf Maathuis; Jinting Bian; Frank S. de Boer; Stijn de Gouw |
|---|---|
| Editors | |
| Type | article |
| Year | 2022 |
| Citekey | hiep2022verifying |
Where it appeared
| Published in | International Journal on Software Tools for Technology Transfer |
|---|---|
| Publisher | Springer |
| Volume | 24 |
| Issue | 5 |
| Pages | 783--802 |
Identifiers
| DOI | 10.1007/s10009-022-00679-7 |
|---|---|
| OpenAlex | W4306410973 |
Access
| Landing page | https://doi.org/10.1007/s10009-022-00679-7 |
|---|---|
| Free full text | https://link.springer.com/content/pdf/10.1007/s10009-022-00679-7.pdf |
Related
| Distinct from | hiep2020tutorial |
|---|---|
| Distinct from | hiep2020verifying |
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.
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},
publisher = {Springer},
volume = {24},
number = {5},
pages = {783--802},
doi = {10.1007/s10009-022-00679-7},
}
This record lives at https://refs.drheap.org/hiep2022verifying/ and will keep doing so.