Expand, enlarge and check: new algorithms for the coverability problem of WSTS (Q2581762)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Expand, enlarge and check: new algorithms for the coverability problem of WSTS
scientific article

    Statements

    Expand, enlarge and check: new algorithms for the coverability problem of WSTS (English)
    0 references
    0 references
    10 January 2006
    0 references
    Well-structured transition systems
    0 references
    Verification
    0 references
    Coverability problem
    0 references
    Parameterized systems
    0 references
    Petri nets
    0 references
    Lossy channel systems
    0 references

    Identifiers