Sample Image

Sapo

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

See Sapo’s home page.

Related