GSTE is partitioned model checking (Q2385196)

From MaRDI portal
scientific article
Language Label Description Also known as
English
GSTE is partitioned model checking
scientific article

    Statements

    title
    GSTE is partitioned model checking (English)
    0 references
    author
    Roberto Sebastiani
    0 references
    Eli Singerman
    0 references
    Stefano Tonetta
    0 references
    Moshe Y. Vardi
    0 references
    publication date
    11 October 2007
    0 references
    zbMATH DE Number
    5199906
    0 references
    zbMATH Keywords
    Symbolic model checking
    0 references
    GSTE
    0 references
    Property-driven partitioning
    0 references
    describes a project that uses
    SPIN
    0 references
    NuSMV
    0 references
    OpenAlex ID
    W2166606799
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2385196&oldid=35011377"
    Powered by MediaWiki