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