Simplified Temporal Resolution Prover (STRP)
STRP is an experimental theorem prover for Propositional Linear Time Temporal Logic based on the Simplified Temporal Resolution calculus.
Download
Source code is now hosted on github
Publications & Benchmarks
Full details can be found in this research paper, all the benchmarks used can be downloaded from here.