This is the Trace Id: f64a2d0f63a0bb41272f1d4eb5df5992

Bring the world closer with Bing Wallpaper

Download the free app and enjoy breathtaking views with a new background each day.
Get Bing Wallpaper
A laptop displaying a colorful seascape from Bing Wallpaper.

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.

Download

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

Follow Microsoft

Back To Top