Published November 5, 2021
| Version v1
Software
Open
Verifying OpenJDK's LinkedList using KeY (Extended Paper): Proof Files
Authors/Creators
- 1. CWI
- 2. Achmea
- 3. Open University
Description
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.
Files
VerifyingOpenJDKsLinkedListUsingKey_journal.zip
Files
(43.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:3b4d5993975623e11e9642c7fd05fd25
|
43.8 MB | Preview Download |