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