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