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
Abstraction and Abstraction Refinement - MaRDI portal

Abstraction and Abstraction Refinement (Q3176371)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Abstraction and Abstraction Refinement
scientific article

    Statements

    title
    Abstraction and Abstraction Refinement (English)
    0 references
    author
    Dennis Dams
    0 references
    Orna Grumberg
    0 references
    publication date
    20 July 2018
    0 references
    describes a project that uses
    SLAM
    0 references
    KRATOS
    0 references
    Wolverine
    0 references
    SatAbs
    0 references
    DDVerify
    0 references
    BLAST
    0 references
    cites work
    Q2769592
    0 references
    Q2753756
    0 references
    Q4553257
    0 references
    Q4806204
    0 references
    Static Analysis
    0 references
    Q4037384
    0 references
    Q4818796
    0 references
    Q4536601
    0 references
    Q4427894
    0 references
    Q4804901
    0 references
    Q4986259
    0 references
    Q4804892
    0 references
    Q4252730
    0 references
    Lazy abstraction
    0 references
    Q2763694
    0 references
    Q4744245
    0 references
    Q4417909
    0 references
    Q3907077
    0 references
    Q2722072
    0 references
    Q4818812
    0 references

    Identifiers

    zbMATH DE Number
    6908879
    0 references
    OpenAlex ID
    W2803191666
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176371&oldid=36410140"
    Powered by MediaWiki