A game-based framework for CTL counterexamples and 3-valued abstraction-refinement (Q5277790)

From MaRDI portal
scientific article; zbMATH DE number 6744041
Language Label Description Also known as
English
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement
scientific article; zbMATH DE number 6744041

    Statements

    A game-based framework for CTL counterexamples and 3-valued abstraction-refinement (English)
    0 references
    0 references
    0 references
    12 July 2017
    0 references
    3-valued semantics
    0 references
    abstraction-refinement
    0 references
    CTL
    0 references
    counterexamples
    0 references
    model-checking games
    0 references
    temporal logic
    0 references

    Identifiers