Reasoning about algebraic data types with abstractions (Q1694026)

From MaRDI portal
Revision as of 21:06, 18 April 2024 by Importer (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Reasoning about algebraic data types with abstractions
scientific article

    Statements

    title
    Reasoning about algebraic data types with abstractions (English)
    0 references
    author
    Tuan-Hung Pham
    0 references
    Andrew Gacek
    0 references
    Michael W. Whalen
    0 references
    publication date
    1 February 2018
    0 references
    zbMATH Keywords
    decision procedures
    0 references
    algebraic data types
    0 references
    SMT solvers
    0 references
    describes a project that uses
    ACL2
    0 references
    Leon
    0 references
    RADA
    0 references
    Dafny
    0 references
    Isabelle/HOL
    0 references
    PVS
    0 references
    Guardol
    0 references
    OpenSMT
    0 references
    z3
    0 references
    CVC4
    0 references
    MoCHi
    0 references

    Identifiers

    zbMATH DE Number
    6833264
    0 references
    OpenAlex ID
    W2331781799
    0 references
    arXiv ID
    1603.08769
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1694026&oldid=33407618"
    Powered by MediaWiki