Symbolic execution proofs for higher order store programs (Q287265)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Symbolic execution proofs for higher order store programs
scientific article

    Statements

    Symbolic execution proofs for higher order store programs (English)
    0 references
    0 references
    0 references
    0 references
    26 May 2016
    0 references
    program verification
    0 references
    higher order store
    0 references
    recursion through the store
    0 references
    separation logic
    0 references
    automated verification
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers