An SMT theory of fixed-point arithmetic (Q2096435)

From MaRDI portal
Revision as of 19:32, 30 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
An SMT theory of fixed-point arithmetic
scientific article

    Statements

    title
    An SMT theory of fixed-point arithmetic (English)
    0 references
    author
    Marek Baranowski
    0 references
    Shaobo He
    0 references
    Mathias Lechner
    0 references
    Thanh Son Nguyen
    0 references
    Zvonimir Rakamarić
    0 references
    publication date
    9 November 2022
    0 references
    zbMATH Keywords
    SMT
    0 references
    fixed-point arithmetic
    0 references
    decision procedure
    0 references
    describes a project that uses
    BoogiePL
    0 references
    SMACK
    0 references
    PySMT
    0 references
    Boolector
    0 references
    GitHub
    0 references
    Yices
    0 references
    z3
    0 references
    UppSAT
    0 references
    MathSAT5
    0 references
    CVC4
    0 references

    Identifiers

    zbMATH DE Number
    7614504
    0 references
    OpenAlex ID
    W3040611682
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2096435&oldid=37455268"
    Powered by MediaWiki