T2 Temporal Prover
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.
Important! Selecting a language below will dynamically change the complete page content to that language.
Version:
2014-10
Date Published:
6/13/2024
File Name:
T2.zip
File Size:
9.7 MB
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.Supported Operating Systems
Windows 10, Windows 7, Windows 8
- Windows 7, Windows 8, or Windows 10
- Click Download and follow the instructions.