TSPASS

The TSPASS system (i.e. the prover itself and the translation tool) was developed by Michael Ludwig and is released under the terms and conditions of the GNU General Public Licence v3.