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
Verification by gambling on program slices - MaRDI portal

Verification by gambling on program slices (Q2147204)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Verification by gambling on program slices
scientific article

    Statements

    title
    Verification by gambling on program slices (English)
    0 references
    author
    Murad Akhundov
    0 references
    Federico Mora
    0 references
    Nick Feng
    0 references
    Vincent Hui
    0 references
    Marsha Chechik
    0 references
    publication date
    22 June 2022
    0 references
    describes a project that uses
    Ultimate Automizer
    0 references
    SMTInterpol
    0 references
    CIL
    0 references
    CBMC
    0 references
    SymDiff
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68N30
    0 references
    68Q45
    0 references
    94A60
    0 references
    zbMATH DE Number
    7546608
    0 references
    OpenAlex ID
    W3206433679
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2147204&oldid=36820622"
    Powered by MediaWiki