GLOBAN 2006 - The Global Computing Approach to Analysis of Systems

Flow Logics

Lectures by Flemming Nielson, Technical University of Denmark

Abstract

We give an introduction to the Flow Logic approach to analysing process calculi like the pi-calculus, spi-calculus, mobile ambients and LySa. The approach makes the same distinction between specifying an acceptable analysis estimate and computing the best analysis estimate as is done in approaches based on type systems (viz. type checking versus type inference). However, it applies a different set of analysis techniques having their roots in control flow analysis, data flow analysis and abstract interpretation. The approach focuses on constructing specifications where a best analyses can always be computed in polynomial time although more complex analyses can be specified as well.