Passel: a tool for uniform verification of parameterized networks of hybrid automata

The PASSEL inductive invariant checking executable and HyXML specification files can be downloaded here.

NOTE: this is an archival page left for completeness, the new homepage of Passel is here and has more recent versions.