Testing equivalence vs. runtime monitoring (Q6199101)
From MaRDI portal
scientific article; zbMATH DE number 7808774
Language | Label | Description | Also known as |
---|---|---|---|
English | Testing equivalence vs. runtime monitoring |
scientific article; zbMATH DE number 7808774 |
Statements
Testing equivalence vs. runtime monitoring (English)
0 references
23 February 2024
0 references
testing equivalence
0 references
runtime monitoring
0 references
trace equivalence
0 references
failure equivalence
0 references
Hennessy-Milner logic with recursion
0 references