T2 Termination Prover

T2 is designed to prove properties of programs, expressed as reachability, termination, or in temporal logic.

Details

TypeDownload
File NameT2.zip
Version1
Date Published18 May 2012
Download Size8.18 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.