Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
T2 temporal prover

The T2 research project aims to build a high-performance automatic program verification tool for proving termination and liveness properties.  T2 replaces the original TERMINATOR project, which was started in 2005.  See the authors named in the list of publications for an idea of who has contributed to T2 and TERMINATOR over the years.

T2 is published under the open-source MIT license and developed on github. Please visit to learn more about T2 and obtain the sources.