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
Abstract Interpretation of Symbolic Execution with Explicit State Updates - MaRDI portal

Abstract Interpretation of Symbolic Execution with Explicit State Updates (Q3638994)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Abstract Interpretation of Symbolic Execution with Explicit State Updates
scientific article

    Statements

    title
    Abstract Interpretation of Symbolic Execution with Explicit State Updates (English)
    0 references
    author
    Richard Bubel
    0 references
    Reiner Hähnle
    0 references
    Benjamin Weiß
    0 references
    publication date
    28 October 2009
    0 references
    describes a project that uses
    KRAKATOA
    0 references
    Caduceus
    0 references
    ASTREE
    0 references
    SPIN
    0 references
    Why3
    0 references
    KIV
    0 references
    Spec#
    0 references

    Identifiers

    zbMATH DE Number
    5622594
    0 references
    OpenAlex ID
    W1589140214
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3638994&oldid=35134230"
    Powered by MediaWiki