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.