unlinkedLast-video.mp4 (1.62 GB)
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. HiepIn 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).