On relative and probabilistic finite counterability (Q1742987)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On relative and probabilistic finite counterability
scientific article

    Statements

    On relative and probabilistic finite counterability (English)
    0 references
    0 references
    0 references
    12 April 2018
    0 references
    model checking
    0 references
    counterexamples
    0 references
    safety
    0 references
    liveness
    0 references
    probability
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers