Download

Downloads related to the FunFrog tool.

ff-tutorial-0.5.tgz (0.6K)
  - files used in the tutorial

funfrog-0.5.tgz (7.0M)
  - linux x86 binaries
  - set of benchmarks

funfrog-0.6.tgz (3.9M)
  - linux x86 binaries
  - set of benchmarks
  - performance comparison with other model checkers