Verifying OpenJDK’s LinkedList using KeY
Saved in:
| Title: | Verifying OpenJDK’s LinkedList using KeY |
|---|---|
| Authors: | Hans-Dieter Hiep |
| Contributors: | Kompetenzzentrum für nicht-textuelle Materialien |
| Publisher Information: | European Joint Conferences on Theory and Practice of Software - ETAPS - e. V. |
| Publication Year: | 2021 |
| Subject Terms: | Java Modeling Language, Deductive verification, Case study, Bug, Java standard library, Computer Science, Studienbereich Informatik, Ingenieurwissenschaften |
| Description: | (en)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. |
| Document Type: | course material moving image (video) |
| Language: | English |
| Relation: | https://av.tib.eu/media/55017 |
| Availability: | https://av.tib.eu/media/55017 |
| Rights: | https://creativecommons.org/licenses/by/3.0/de |
| Accession Number: | edsbas.DFC813FC |
| Database: | BASE |
Nájsť tento článok vo Web of Science | Abstract: | (en)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. |
|---|