An SMT solver for regular expressions and linear arithmetic over string length (Q832270)

From MaRDI portal
Revision as of 10:49, 28 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 solver for regular expressions and linear arithmetic over string length
scientific article

    Statements

    title
    An SMT solver for regular expressions and linear arithmetic over string length (English)
    0 references
    author
    Murphy Berzish
    0 references
    Mitja Kulczynski
    0 references
    Federico Mora
    0 references
    Florin Manea
    0 references
    Joel D. Day
    0 references
    Dirk Nowotka
    0 references
    Vijay Ganesh
    0 references
    publication date
    25 March 2022
    0 references
    zbMATH Keywords
    string solvers
    0 references
    SMT solvers
    0 references
    regular expressions
    0 references
    describes a project that uses
    SMT-LIB
    0 references
    CVC4
    0 references
    z3
    0 references
    Stranger
    0 references
    GitHub
    0 references
    Jalangi
    0 references
    Z3str2
    0 references
    Z3str3
    0 references
    HAMPI
    0 references
    StringFuzz
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q45
    0 references
    68T20
    0 references
    68V20
    0 references
    68W32
    0 references
    zbMATH DE Number
    7498185
    0 references
    OpenAlex ID
    W3186328512
    0 references
    arXiv ID
    2010.07253
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q832270&oldid=36783116"
    Powered by MediaWiki