Predicate Abstraction for Program Verification (Q3176373)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Predicate Abstraction for Program Verification
scientific article

    Statements

    title
    Predicate Abstraction for Program Verification (English)
    0 references
    author
    Ranjit Jhala
    0 references
    Andreas Podelski
    0 references
    Andrey Rybalchenko
    0 references
    publication date
    20 July 2018
    0 references
    zbMATH DE Number
    6908881
    0 references
    describes a project that uses
    SPIN
    0 references
    SLAB
    0 references
    SatAbs
    0 references
    Wolverine
    0 references
    Houdini
    0 references
    Bebop
    0 references
    SLAM
    0 references
    CPAchecker
    0 references
    ACL2s
    0 references
    UFO
    0 references
    Threader
    0 references
    YOGI
    0 references
    OpenAlex ID
    W2803616382
    0 references
    cites work
    Q2769592
    0 references
    Q2753756
    0 references
    Q2754081
    0 references
    Q4817541
    0 references
    Q2763999
    0 references
    Q5584402
    0 references
    Nested interpolants
    0 references
    Lazy abstraction
    0 references
    Static Analysis
    0 references
    Low-level liquid types
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176373&oldid=36410142"
    Powered by MediaWiki