Verifying OpenJDK's LinkedList using KeY: Video

Version 2 2019-10-24, 09:59

Version 1 2019-10-24, 08:58

media

posted on 2019-10-24, 09:59 authored by Jinting BianJinting Bian, Hans-Dieter A. HiepHans-Dieter A. Hiep

In this 30 minute session, we show how to prove the correctness of the method contract of unlinkLast of java.util.LinkedList using the KeY prover. The method contract is specified using JML (not shown in video).

History

Usage metrics

Keywords

formal methods key theorem proving Computational Logic and Formal Languages

Licence

CC BY 4.0

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM