prodotti
ECLAIR è un sistema potente e flessibile per la verifica di programmi C e C++.
La Parma Polyhedra Library (PPL) è una libreria di astrazioni numeriche specialmente concepita per le applicazioni nel campo dell’analisi e verifica di sistemi complessi.