What causes a system to satisfy a specification? (Q5277809)

From MaRDI portal
scientific article; zbMATH DE number 6744060
Language Label Description Also known as
English
What causes a system to satisfy a specification?
scientific article; zbMATH DE number 6744060

    Statements

    What causes a system to satisfy a specification? (English)
    0 references
    0 references
    0 references
    0 references
    12 July 2017
    0 references
    model checking
    0 references
    causality
    0 references
    coverage metrics
    0 references
    responsibility
    0 references

    Identifiers