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
Incremental bounded model checking for embedded software - MaRDI portal

Incremental bounded model checking for embedded software (Q1682291)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Incremental bounded model checking for embedded software
scientific article

    Statements

    title
    Incremental bounded model checking for embedded software (English)
    0 references
    author
    Peter Schrammel
    0 references
    Daniel Kroening
    0 references
    Martin Brain
    0 references
    Ruben Martins
    0 references
    Tino Teige
    0 references
    Tom Bienmüller
    0 references
    publication date
    29 November 2017
    0 references
    zbMATH Keywords
    embedded systems
    0 references
    bounded model checking
    0 references
    incremental SAT solving
    0 references
    \(k\)-induction
    0 references
    describes a project that uses
    StarExec
    0 references
    MiniSat
    0 references
    SATIRE
    0 references
    Boolector
    0 references
    PicoSAT
    0 references
    CBMC
    0 references
    NModel
    0 references
    KLEE
    0 references
    SystemC
    0 references

    Identifiers

    zbMATH DE Number
    6813714
    0 references
    OpenAlex ID
    W2588551419
    0 references
    arXiv ID
    1409.5872
    0 references
    Wikidata QID
    Q59528027
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1682291&oldid=38696681"
    Powered by MediaWiki