Specification in CTL + past for verification in CTL. (Q1854327)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Specification in CTL + past for verification in CTL.
scientific article

    Statements

    Specification in CTL + past for verification in CTL. (English)
    0 references
    0 references
    14 January 2003
    0 references
    temporal logic
    0 references
    PCTL
    0 references
    model-checking specifications
    0 references
    NCTL
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references