Team celtique

Members
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: New Results

Quantitative Aspects of Static Analysis

Participants : David Cachera, Thomas Jensen, Arnaud Jobin.

We have developed our linear model of cost computations based on dioid theory, in order to show the deep connections between this model and the classical interpretation approach. The main difficulties come from the fact that abstraction has to take two distinct notions of order into account: the order on costs and the order on statesĀ [19] . A detailed paper collecting our results on this approach, including a new case study on power consumption estimation has been published inĀ [15] .


previous
next

Logo Inria