T2 Temporal Prover

Language:
English
T2 is designed to prove safety and liveness properties of programs, expressed as reachability, termination, or in the temporal logic CTL. Last published: October 29, 2014.