Bisimulation minimization and symbolic model checking (Q698435)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bisimulation minimization and symbolic model checking
scientific article

    Statements

    Bisimulation minimization and symbolic model checking (English)
    0 references
    0 references
    0 references
    18 September 2002
    0 references
    bisimulation minimization
    0 references
    symbolic model checking
    0 references
    invariant properties
    0 references
    on-the-fly model checking
    0 references

    Identifiers