Unlock your potential with Microsoft Copilot
Get things done faster and unleash your creativity with the power of AI anywhere you go.
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:
5/12/2016
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.