×

TSPASS

swMATH ID: 6567
Software Authors: M. Ludwig
Description: 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.
Homepage: http://cgi.csc.liv.ac.uk/~michael/TLBook/TSPASS-System/
Keywords: theorem prover; monodic first-order LTL
Related Software: TRP++; NuSMV; TeMP; E Theorem Prover; SPASS; VAMPIRE; CTL-RP; MSPASS; TTM; GitHub; BGL; VaqTree; VaqUoT; MUP; Boost; Boost C++ Libraries; METATEM; SLAM; Rabbit
Referenced in: 8 Publications
Further Publications: http://lat.inf.tu-dresden.de/~michel/publications/

Referencing Publications by Year