Reasoning About Invariant Properties of Object-oriented Programs - dynamic frames

media

posted on 2021-10-11, 08:44 authored by Jinting BianJinting Bian, Hans-Dieter A. HiepHans-Dieter A. Hiep

<div>This video shows how to proving reachability property of push method .The method contract is specified in JML (not shown in this video).</div><div><br></div><div></div>

History

Usage metrics

Keywords

Dynamic framework Formal methods Computational Logic and Formal Languages

Licence

CC BY 4.0

Reasoning About Invariant Properties of Object-oriented Programs - dynamic frames

History

Usage metrics

Categories

Keywords

Licence

Exports