T2 Temporal Prover

T2 Temporal Prover
Original author(s)Microsoft Research
Developer(s)Microsoft
Stable release
CADE_2017 / May 30, 2017; 7 years ago (2017-05-30)
Repositorygithub.com/mmjb/T2
Written inF#
Operating systemWindows, Linux (Debian, Ubuntu), macOS
Platform.NET Framework, Mono
TypeProgram analyzer
LicenseMIT License
Websitewww.microsoft.com/en-us/research/publication/t2-temporal-property-verification/

T2 Temporal Prover is an automated program analyzer developed in the Terminator research project at Microsoft Research.