Verimag

Aspic

Accelerated Symbolic Polyhedral Invariant Computation

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

See online : Aspic

Contact | Site Map | Site created with SPIP 2.1.13 + AHUNTSIC [CC License]

Logged in visitors: 32 ; visits: 205178