Work

A Tutorial on Verifying LinkedList using KeY: Part 4a

Year: 2020

Type: dataset

Abstract: In this proof session, we show part of how to prove the implementation of the remove() method of the java.util.LinkedList correct with respect to its method contract using the KeY prover. The method contract is specified using JML (not shown in video). The complete proof of remove() consists of 2 parts: this video shows the first part, the case where the argument is null.

Source: Figshare

DOI: 10.6084/m9.figshare.11699178

Authors: Jinting Bian, Hiep, Hans-Dieter A.

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6977429150

Cites:

Cited by: 1

Related to: 10