Invariant Generation for Multi-Path Loops with Polynomial Assignments (Q3296330)

From MaRDI portal
Revision as of 14:54, 19 April 2024 by Importer (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Invariant Generation for Multi-Path Loops with Polynomial Assignments
scientific article

    Statements

    title
    Invariant Generation for Multi-Path Loops with Polynomial Assignments (English)
    0 references
    author
    Andreas Humenberger
    0 references
    Maximilian Jaroschek
    0 references
    Laura Kovács
    0 references
    publication date
    7 July 2020
    0 references
    describes a project that uses
    Aligator
    0 references
    RISCErgoSum
    0 references
    hyper
    0 references

    Identifiers

    zbMATH DE Number
    7218142
    0 references
    OpenAlex ID
    W2781303448
    0 references
    arXiv ID
    1801.03967
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3296330&oldid=33610695"
    Powered by MediaWiki