A linear-time model-checking algorithm for the alternation-free modal mu- calculus (Q1801498)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A linear-time model-checking algorithm for the alternation-free modal mu- calculus
scientific article

    Statements

    A linear-time model-checking algorithm for the alternation-free modal mu- calculus (English)
    0 references
    0 references
    0 references
    0 references
    17 August 1993
    0 references
    0 references
    automated verification
    0 references
    model-checking algorithms
    0 references
    automated verification tools for finite-state processes
    0 references
    0 references