Approximating event system abstractions by covering their states and transitions (Q4989673)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Approximating event system abstractions by covering their states and transitions |
scientific article; zbMATH DE number 7351158
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8494728803634644
0 references
0.695928156375885
0 references
0.6802080273628235
0 references
0.6720299124717712
0 references
0.6708081960678101
0 references
