Model Checking Using Generalized Testing Automata (Q4909350)

From MaRDI portal
scientific article; zbMATH DE number 6144132
Language Label Description Also known as
English
Model Checking Using Generalized Testing Automata
scientific article; zbMATH DE number 6144132

    Statements

    Model Checking Using Generalized Testing Automata (English)
    0 references
    0 references
    0 references
    0 references
    13 March 2013
    0 references
    testing automata
    0 references
    model checking
    0 references
    emptiness check
    0 references

    Identifiers