Next: References Up: Probabilistic Abstract Interpretation Previous: Workplan

Relevance to Beneficiaries

Scientific Impact

This work intends to put forward the use of new semantical structures (linear spaces, Banach lattices, etc.) in abstract interpretation. The main benefit from the scientific point of view is the introduction of quantitative features into static analysis and the possibility of a kind of average case analysis of program properties (instead of the commonly used worst-case analysis).

Industrial Application

Among the intended industrial beneficiaries of this work are the software industry and insurance companies. The theory we develop in this project can be used as a basis for software reliability considerations in so far as it provides a ``microscopic'' treatment of probabilistic phenomena in software-based systems [48].

Next: References Up: Probabilistic Abstract Interpretation Previous: Workplan