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
Introduction to Model Checking - MaRDI portal

Introduction to Model Checking (Q3176359)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Introduction to Model Checking
scientific article

    Statements

    title
    Introduction to Model Checking (English)
    0 references
    author
    Helmut Veith
    0 references
    Edmund M. Clarke
    0 references
    Thomas A. Henzinger
    0 references
    publication date
    20 July 2018
    0 references
    describes a project that uses
    DART
    0 references
    Coq
    0 references
    SPIN
    0 references
    jSpin
    0 references
    Isabelle/HOL
    0 references
    CESAR
    0 references
    UMDES
    0 references
    NModel
    0 references
    Liss
    0 references
    Limi
    0 references
    kepler98
    0 references
    cites work
    Defining liveness
    0 references
    Q4379577
    0 references
    Q5322945
    0 references
    Q5452300
    0 references
    Q2733893
    0 references
    Shield Synthesis:
    0 references
    Simulation distances
    0 references
    Q3336675
    0 references
    Q5227061
    0 references
    Q2751376
    0 references
    Q4385542
    0 references
    Q4261335
    0 references
    Q4326390
    0 references
    Q5364938
    0 references
    Q4124327
    0 references
    Q4002642
    0 references
    Q3948585
    0 references
    Q5601829
    0 references
    Q3141897
    0 references
    Q4255591
    0 references
    Q4205072
    0 references
    Q3940830
    0 references
    Q4074888
    0 references

    Identifiers

    zbMATH DE Number
    6908867
    0 references
    OpenAlex ID
    W2803481836
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176359&oldid=36410128"
    Powered by MediaWiki