Static analysis

Static analysis methods enable the identification of some dynamical properties without turning to explicit simulations.