A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems (Q5285990)

From MaRDI portal
scientific article; zbMATH DE number 223349
Language Label Description Also known as
English
A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems
scientific article; zbMATH DE number 223349

    Statements

    A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems (English)
    0 references
    0 references
    0 references
    0 references
    29 June 1993
    0 references
    automata on infinite tapes
    0 references
    \(\omega\)-regular languages
    0 references
    finite-state systems
    0 references
    model checking
    0 references
    temporal logics
    0 references

    Identifiers