Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Automatic Modular Abstractions for Template Numerical Constraints - MaRDI portal

Automatic Modular Abstractions for Template Numerical Constraints (Q3575308)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automatic Modular Abstractions for Template Numerical Constraints
scientific article

    Statements

    title
    Automatic Modular Abstractions for Template Numerical Constraints (English)
    0 references
    author
    David Monniaux
    0 references
    publication date
    27 July 2010
    0 references
    zbMATH DE Number
    5761687
    0 references
    zbMATH Keywords
    abstract interpretation
    0 references
    quantifier elimination
    0 references
    program analysis
    0 references
    describes a project that uses
    Octagon
    0 references
    Mathematica
    0 references
    Scilab
    0 references
    ASTREE
    0 references
    z3
    0 references
    BLAST
    0 references
    Aspic
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3575308&oldid=27894918"
    Powered by MediaWiki