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.
  • Version:

    2014-10

    File Name:

    T2.zip

    Date Published:

    5/12/2016

    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 System

    Windows 10 , Windows 7, Windows 8

      • Windows 7, Windows 8, or Windows 10
      • Click Download and follow the instructions.
Site feedback
Microsoft

What category would you like to give web site feedback on?



Rate your level of satisfaction with this web page today:

Comments:

Submit