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.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Schuppan, Viktor: Extracting unsatisfiable cores for LTL via temporal resolution (2016)
- Fisher, Michael: An introduction to practical formal methods using temporal logic (2011)
- Ludwig, Michel; Hustadt, Ullrich: Implementing a fair monodic temporal logic prover (2010)
Further publications can be found at: http://lat.inf.tu-dresden.de/~michel/publications/