2020-04-30
Verifying OpenJDK's LinkedList using KeY
Publication
Publication
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.
| Additional Metadata | |
|---|---|
| Keywords | Java standard library, Deductive verification, KeY, Java Modeling Language, Case study, Bug |
| Stakeholder | Achmea, Apeldoorn, The Netherlands |
| Journal | Lecture Notes in Computer Science |
| Citation |
Hiep, H.A, Maathuis, O, Bian, J, de Boer, F.S, van Eekelen, M, & de Gouw, C.P.T. (2020). Verifying OpenJDK's LinkedList using KeY. Lecture Notes in Computer Science.
|
