Boosting Lazy Abstraction for SystemC with Partial Order Reduction (Q3000665)

From MaRDI portal
Revision as of 03:15, 13 November 2024 by Daniel (talk | contribs) (‎Created claim: DBLP publication ID (P1635): conf/tacas/CimattiNR11, #quickstatements; #temporary_batch_1731462974821)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Boosting Lazy Abstraction for SystemC with Partial Order Reduction
scientific article

    Statements

    title
    Boosting Lazy Abstraction for SystemC with Partial Order Reduction (English)
    0 references
    author
    Alessandro Cimatti
    0 references
    Iman Narasamdya
    0 references
    Marco Roveri
    0 references
    publication date
    19 May 2011
    0 references
    describes a project that uses
    SystemC
    0 references
    Pinapa
    0 references
    MathSAT
    0 references
    veriSoft
    0 references
    BLAST
    0 references
    NuSMV
    0 references
    KRATOS
    0 references

    Identifiers

    zbMATH DE Number
    5897420
    0 references
    Wikidata QID
    Q62041214
    0 references
    OpenAlex ID
    W1913652065
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3000665&oldid=37893875"
    Powered by MediaWiki