The Pisa tool, initially developed at Inria is now distributed under the AGPL license and hosted at https://adamcooman.gitlab.io/pisa-stability-analysis/