figshare
Browse
DynamicFrame operation contract.mov (319.14 MB)

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

Download (319.14 MB)
media
posted on 2021-10-11, 08:44 authored by Jinting BianJinting Bian, Hans-Dieter A. HiepHans-Dieter A. Hiep
This video shows how to proving reachability property of push method .The method contract is specified in JML (not shown in this video).

History

Usage metrics

    Categories

    Keywords

    Dynamic frameworkFormal methodsComputational Logic and Formal Languages

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC