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
Improving Strategies via SMT Solving - MaRDI portal

Improving Strategies via SMT Solving (Q3000582)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Improving Strategies via SMT Solving
scientific article

    Statements

    title
    Improving Strategies via SMT Solving (English)
    0 references
    author
    Thomas Martin Gawlitza
    0 references
    David Monniaux
    0 references
    publication date
    19 May 2011
    0 references
    describes a project that uses
    Yices
    0 references
    ASTREE
    0 references
    Aspic
    0 references
    cites work
    Q4414726
    0 references
    Q4174789
    0 references
    Q3266141
    0 references
    Q3976517
    0 references
    Q4529777
    0 references
    Q4315289
    0 references
    Static Analysis
    0 references
    Q3818127
    0 references
    Q2754084
    0 references

    Identifiers

    zbMATH DE Number
    5897345
    0 references
    OpenAlex ID
    W3121218067
    0 references
    arXiv ID
    1101.2812
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3000582&oldid=35227800"
    Powered by MediaWiki