Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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.