Sample Image

Sapo

Sapo is a C++ tool for the formal analysis of discrete-time polynomial dynamical systems.