T2 Temporal Prover

T2 is designed to prove safety and liveness properties of programs, expressed as reachability, termination, or in the temporal logic CTL. Also see, https://github.com/mmjb/T2.

Details

TypeDownload
File NameT2.zip
Version2014-10
Date Published29 October 2014
Download Size9.70 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.