SYRF Project
Task 3.3: "Handling properties depending
on numerical variables"
Abstract of deliverable
3.3.3
Achieved Results:
This year, task 3.3 mainly progressed in two directions:
- Algorithms were significantly improved, both concerning efficiency
and precision of the results. In particular a new library for handling
convex polyhedra was written, and the technique for computing pre- and
post- conditions was improved.
- The heuristics to perform location splitting were also improved and
tuned.
The deliverable also gives experimental results about some simple examples.
>
Publications:
- B. Jeannet, N. Halbwachs and P. Raymond.
Dynamic Partitioning in Analyses of Numerical
Properties.
Static Analysis Symposium, SAS'99, Venice (Italy), September
1999.
LNCS 1694, Springer Verlag.