Verimag
Home > Teams > Synchrone > Tools

Aspic

Accelerated Symbolic Polyhedral Invariant Computation

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

View online : Aspic

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 829243