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
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