Pegasus: sound continuous invariant generation (Q2147687): Difference between revisions

From MaRDI portal
← Older edit
ReferenceBot (talk | contribs)
Bots
1,903,984 edits
‎Changed an Item
Import241208061232 (talk | contribs)
1,083,878 edits
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1007/s10703-020-00355-z / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S10703-020-00355-Z / rank
 
Normal rank

Latest revision as of 06:07, 17 December 2024

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