Bounded model checking using satisfiability solving (Q5946344)

From MaRDI portal
scientific article; zbMATH DE number 1658696
Language Label Description Also known as
English
Bounded model checking using satisfiability solving
scientific article; zbMATH DE number 1658696

    Statements

    Bounded model checking using satisfiability solving (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    21 May 2002
    0 references
    model checking
    0 references
    transition system
    0 references
    0 references
    0 references
    0 references

    Identifiers