A tutorial on verifying LinkedList using KeY: Video material

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).

• View at Publisher

See Also
bookChapter A Tutorial on Verifying LinkedList Using KeY H.A. Hiep (Hans-Dieter), J. Bian (Jinting), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)
other A tutorial on verifying LinkedList using KeY: Proof files H.A. Hiep (Hans-Dieter), J. Bian (Jinting), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)