A Million Lines of Proof About a Moving Target (Invited Talk) (Q5875404)

From MaRDI portal
scientific article; zbMATH DE number 7649950
Language Label Description Also known as
English
A Million Lines of Proof About a Moving Target (Invited Talk)
scientific article; zbMATH DE number 7649950

    Statements

    0 references
    3 February 2023
    0 references
    proof maintentance
    0 references
    proof evolution
    0 references
    sel4
    0 references
    isabelle/HOL
    0 references
    A Million Lines of Proof About a Moving Target (Invited Talk) (English)
    0 references

    Identifiers