Pre-compiled Binary

 

How to run HiFrog for a specific theories of SMT?

 

http://verify.inf.usi.ch/sites/default/files/hifrog-demo-tacas.mp4

 

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 .