Aspic

Accelerated Symbolic Polyhedral Invariant Computation

This software is based on Linear Relation Analysis, and combines classic LRA (with widening) and acceleration techniques.

Voir en ligne : Aspic