Static Analysis for Systems Biology

Abstract

This paper shows how static analysis techniques can help understanding biological systems. Based on a simple example we illustrate the outcome of performing three different analyses extracting information of increasing precision. We conclude by reporting on the potential impact and exploitation of these techniques in systems biology