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
Model Checking Procedural Programs - MaRDI portal

Model Checking Procedural Programs (Q3176375)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model Checking Procedural Programs
scientific article

    Statements

    title
    Model Checking Procedural Programs (English)
    0 references
    author
    Ahmed Bouajjani
    0 references
    Javier Esparza
    0 references
    Rajeev Alur
    0 references
    publication date
    20 July 2018
    0 references
    describes a project that uses
    SPIN
    0 references
    Bebop
    0 references
    jMoped
    0 references
    SLAM
    0 references
    WALi
    0 references
    cites work
    Q2753756
    0 references
    Q4846257
    0 references
    Q4737201
    0 references
    Q4174789
    0 references
    Q2754086
    0 references
    Q4551162
    0 references
    Q4223067
    0 references
    Q4804923
    0 references
    Q4472439
    0 references

    Identifiers

    zbMATH DE Number
    6908883
    0 references
    OpenAlex ID
    W2804951778
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176375&oldid=36410144"
    Powered by MediaWiki