products

ECLAIR is a powerful and extensible framework for the verification of C and C++ programs.

The Parma Polyhedra Library (PPL) is a library of numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.