Precise widening operators for convex polyhedra (Q2568443)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2213172
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Precise widening operators for convex polyhedra |
scientific article; zbMATH DE number 2213172 |
Statements
Precise widening operators for convex polyhedra (English)
0 references
10 October 2005
0 references
abstract interpretation
0 references
widening operators
0 references
convex polyhedra
0 references
0.8665813
0 references
0.8649053
0 references
0.8589172
0 references
0.8549346
0 references
0.85457635
0 references
0.8518812
0 references
0.85128933
0 references
