Verifying OpenJDK’s LinkedList using KeY
Uložené v:
| Názov: | Verifying OpenJDK’s LinkedList using KeY |
|---|---|
| Autori: | Hans-Dieter Hiep |
| Prispievatelia: | Kompetenzzentrum für nicht-textuelle Materialien |
| Informácie o vydavateľovi: | European Joint Conferences on Theory and Practice of Software - ETAPS - e. V. |
| Rok vydania: | 2021 |
| Predmety: | Java Modeling Language, Deductive verification, Case study, Bug, Java standard library, Computer Science, Studienbereich Informatik, Ingenieurwissenschaften |
| Popis: | (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. |
| Druh dokumentu: | course material moving image (video) |
| Jazyk: | English |
| Relation: | https://av.tib.eu/media/55017 |
| Dostupnosť: | https://av.tib.eu/media/55017 |
| Rights: | https://creativecommons.org/licenses/by/3.0/de |
| Prístupové číslo: | edsbas.DFC813FC |
| Databáza: | BASE |
Nájsť tento článok vo Web of Science | Abstrakt: | (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. |
|---|