Automating Event-B invariant proofs by rippling and proof patching (Q667526)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automating Event-B invariant proofs by rippling and proof patching
scientific article

    Statements

    Automating Event-B invariant proofs by rippling and proof patching (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    13 March 2019
    0 references
    0 references
    0 references
    0 references
    0 references
    formal verification
    0 references
    Event-B
    0 references
    automated reasoning
    0 references
    rippling
    0 references
    lemma conjecturing
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references