Download Latest Version
redlib.a.130816.tar.gz (2.4 MB)
Get an email when there's a new version of REDLIB
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| Linear Hybrid Automata Benchmarks | 2010-11-30 | ||
| Timed Automata Benchmarks | 2010-02-23 | ||
| TECTLF.model.check.benchmarks.100504.tar.gz | 2010-05-04 | 548.9 kB | |
| CTBA.fair.simulation.benchmarks.100504.tar.gz | 2010-05-04 | 768.0 kB | |
| tctctl.mcheck.100426.benchmarks.tar.gz | 2010-04-26 | 541.5 kB | |
| Totals: 5 Items | 1.9 MB | 0 | |