Enhancing Theorem Prover Interfaces with Program Slice Information (Q2867933)

From MaRDI portal
Revision as of 19:22, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Enhancing Theorem Prover Interfaces with Program Slice Information
scientific article

    Statements

    title
    Enhancing Theorem Prover Interfaces with Program Slice Information (English)
    0 references
    publication date
    20 December 2013
    0 references
    zbMATH DE Number
    6241756
    0 references
    zbMATH Keywords
    proof-directed debugging
    0 references
    program slicing
    0 references
    verification
    0 references
    describes a project that uses
    Isar
    0 references
    Lambda-Clam
    0 references
    Isabelle/HOL
    0 references
    IsaPlanner
    0 references
    Proof General
    0 references
    Hat
    0 references
    OpenAlex ID
    W1969646064
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2867933&oldid=31306325"
    Powered by MediaWiki