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
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions - MaRDI portal

Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions (Q3540069)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
scientific article

    Statements

    title
    Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions (English)
    0 references
    author
    Chao Wang
    0 references
    Yu Yang
    0 references
    Aarti Gupta
    0 references
    Ganesh Gopalakrishnan
    0 references
    publication date
    20 November 2008
    0 references
    zbMATH DE Number
    5369266
    0 references
    describes a project that uses
    CIL
    0 references
    RacerX
    0 references
    CESAR
    0 references
    LOCKSMITH
    0 references
    RELAY
    0 references
    Eraser
    0 references
    Valgrind
    0 references
    CHESS
    0 references
    veriSoft
    0 references
    ESC/Java
    0 references
    OpenAlex ID
    W1600817717
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3540069&oldid=35081258"
    Powered by MediaWiki