Approximating Event System Abstractions by Covering Their States and Transitions (Q4989673)
From MaRDI portal
scientific article; zbMATH DE number 7351158
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Approximating Event System Abstractions by Covering Their States and Transitions |
scientific article; zbMATH DE number 7351158 |
Statements
Approximating Event System Abstractions by Covering Their States and Transitions (English)
0 references
26 May 2021
0 references
predicate abstraction
0 references
under-approximation
0 references
event systems
0 references
