Using forward reachability analysis for verification of lossy channel systems (Q1878928)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Using forward reachability analysis for verification of lossy channel systems
scientific article

    Statements

    Using forward reachability analysis for verification of lossy channel systems (English)
    0 references
    0 references
    0 references
    0 references
    9 September 2004
    0 references
    model checking
    0 references
    protocol verification
    0 references
    automata
    0 references
    infinite-state systems
    0 references
    simple regular expressions
    0 references
    0 references
    0 references

    Identifiers