products

ECLAIR is a powerful and extensible framework for the verification of C, C++ and Java 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.