Pegasus: sound continuous invariant generation (Q2147687)

From MaRDI portal
Revision as of 06:07, 17 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Pegasus: sound continuous invariant generation
scientific article

    Statements

    title
    Pegasus: sound continuous invariant generation (English)
    0 references
    author
    Andrew Sogokon
    0 references
    Stefan Mitsch
    0 references
    Yong Kiam Tan
    0 references
    Katherine Cordwell
    0 references
    André Platzer
    0 references
    publication date
    20 June 2022
    0 references
    zbMATH Keywords
    invariant generation
    0 references
    continuous invariants
    0 references
    ordinary differential equations
    0 references
    theorem proving
    0 references
    cites work
    Bellerophon
    0 references
    ModelPlex
    0 references
    Q4023101
    0 references
    Q5472808
    0 references
    Q4079605
    0 references
    Q2756510
    0 references
    Q5440982
    0 references
    Q2709206
    0 references
    Q4282674
    0 references
    Q4942663
    0 references
    Q3849114
    0 references
    Q4011324
    0 references
    Q4341368
    0 references
    Q4280774
    0 references
    Q4003793
    0 references
    Q4418865
    0 references
    Q4736610
    0 references
    Q2848690
    0 references
    describes a project that uses
    Bellerophon
    0 references
    ModelPlex
    0 references
    Sostools
    0 references
    SpaceEx
    0 references
    KeYmaera X
    0 references
    z3
    0 references
    dReach
    0 references
    MetiTarski
    0 references
    KeYmaera
    0 references
    PVS
    0 references
    Orbital library
    0 references
    VeriPhy
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68V15
    0 references
    34-04
    0 references
    68Q60
    0 references
    93B03
    0 references
    zbMATH DE Number
    7544940
    0 references
    OpenAlex ID
    W3123500159
    0 references
    arXiv ID
    2005.09348
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2147687&oldid=38907565"
    Powered by MediaWiki