SYRF Project

Task 3.3: "Handling properties depending on numerical variables"

Abstract of deliverable 3.3.3

Back to the SYRF Home Page
Back to Deliverables



Achieved Results:

This year, task 3.3 mainly progressed in two directions:

The deliverable also gives experimental results about some simple examples. >

Publications:

  1. 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.