Work

A Tutorial on Verifying LinkedList using KeY: Video Material

Year: 2020

Type: other

Abstract: This collection of video material consists of screen recordings of interactive proof sessions with the KeY theorem prover. Each video displays how to create a proof for part of one method contract, or proofs of several method contracts. The method contracts are expressed in the Java Modeling Language with KeY-specific extensions (not shown in the video).

Source: Data Archiving and Networked Services (DANS)

DOI: 10.6084/m9.figshare.c.4826589

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: W6958885628

Cites:

Cited by: 1

Related to: 10