Combining Model Checking and Deduction (Q3176378)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Combining Model Checking and Deduction
scientific article

    Statements

    title
    Combining Model Checking and Deduction (English)
    0 references
    author
    Natarajan Shankar
    0 references
    publication date
    20 July 2018
    0 references
    zbMATH DE Number
    6908886
    0 references
    describes a project that uses
    Nuprl
    0 references
    UNITY
    0 references
    ETPS
    0 references
    SYMBA
    0 references
    ML
    0 references
    Isabelle/HOL
    0 references
    PVS
    0 references
    HOL
    0 references
    Bandera
    0 references
    CESAR
    0 references
    OpenAlex ID
    W2804061523
    0 references
    cites work
    Q4726218
    0 references
    Q2744124
    0 references
    Q5691140
    0 references
    Understanding IC3
    0 references
    Q5310200
    0 references
    Q4692502
    0 references
    Q5227061
    0 references
    Q5584402
    0 references
    Q5287513
    0 references
    Q4227581
    0 references
    Q4002642
    0 references
    Q5601829
    0 references
    Q5581566
    0 references
    Q4671219
    0 references
    Q3940830
    0 references
    Low-level liquid types
    0 references
    Q4818812
    0 references
    Q4002816
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176378&oldid=36410147"
    Powered by MediaWiki