Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools (Q2926643)
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: Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools |
scientific article; zbMATH DE number 6363632
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools |
scientific article; zbMATH DE number 6363632 |
Statements
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools (English)
0 references
3 November 2014
0 references
0.8955827
0 references
0.87760407
0 references
0.86873114
0 references
0.86770636
0 references
0.86460644
0 references
0.8640277
0 references
0.86346257
0 references
0.86255133
0 references
