The RISC ProofNavigator: a proving assistant for program verification in the classroom (Q1019024)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The RISC ProofNavigator: a proving assistant for program verification in the classroom
scientific article

    Statements

    The RISC ProofNavigator: a proving assistant for program verification in the classroom (English)
    0 references
    0 references
    27 May 2009
    0 references
    interactive proving assistants
    0 references
    computer-aided verification
    0 references
    teaching formal methods
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers