HipTNT+: A Termination and Non-Termination Specification Inference System

Ton Chanh Le, Shengchao Qin and Wei-Ngan Chin


(Online) Examples

Terms of Usage

HipTNT+ 1.0 software release is freely available for academic and non-commercial use.
For third party softwares, their original usage/licensing requirements apply.


Latest HipTNT+'s virtual machine  [Download (~1.2GB)] (Xubuntu 14.04 Desktop host - username: hiptnt - password: hiptnt)

The "ova" VM image consists of HipTNT+'s bundle (executables, examples, and benchmarks in the directory /home/hiptnt/hiptnt/) and prerequisite software pre-installed. A brief manual for HipTNT+'s usage can be found inside the image. The image can be imported into existing VM softwares such as VirtualBox (recommended) and VMware. Although the image was tested on VirtualBox, it should also work with VMware and others. The instructions for importing the image into VirtualBox can be found here.

Latest HipTNT+'s bundle  [Download (~24MB)]

The 64-bit executables, examples, benchmarks and a brief manual of HipTNT+ can be found in the directory hiptnt after extracting the compressed file. The tool requires a Linux 64-bit machine and it was tested on Ubuntu 14.04, Xubuntu 14.04 and Linux Mint 17.

Research paper (preprint version), published by PLDI 2015

HipTNT+'s Description

Please contact Ton Chanh Le if you have any problems/suggestions/discussions or simply want to learn more about HipTNT+.