Assumption-based runtime verification (Q6102167)

From MaRDI portal
scientific article; zbMATH DE number 7683090
Language Label Description Also known as
English
Assumption-based runtime verification
scientific article; zbMATH DE number 7683090

    Statements

    Assumption-based runtime verification (English)
    0 references
    0 references
    0 references
    0 references
    8 May 2023
    0 references
    runtime verification
    0 references
    linear temporal logic
    0 references
    partial observability
    0 references
    resettable monitors
    0 references
    predictive semantics
    0 references
    0 references
    0 references
    0 references

    Identifiers