Pre-compiled Binary

A virtual machine containing a pre-compiled binary of HiFrog in Linux for TACAS2017 paper is available here.

Some of our benchmark set for TACAS 2017 is available here.