A general approach to comparing infinite-state systems with their finite-state specifications (Q2503044)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A general approach to comparing infinite-state systems with their finite-state specifications
scientific article

    Statements

    A general approach to comparing infinite-state systems with their finite-state specifications (English)
    0 references
    0 references
    0 references
    13 September 2006
    0 references
    verification
    0 references
    semantic equivalences
    0 references
    infinite-state systems
    0 references
    modal logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers