Verification of well-formed communicating recursive state machines (Q944388)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Verification of well-formed communicating recursive state machines
scientific article

    Statements

    Verification of well-formed communicating recursive state machines (English)
    0 references
    0 references
    0 references
    0 references
    16 September 2008
    0 references
    infinite-state systems
    0 references
    pushdown systems
    0 references
    formal models of concurrency and recursion
    0 references
    model checking
    0 references
    linear-time logics
    0 references
    context-free specifications
    0 references
    tree automata
    0 references

    Identifiers