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