[X] The "/sudoku solver, built on top of REDLIB/version 0_091031/sdk.091031.tar.gz" file could not be found or is not available. Please select another file.

* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technology.

Browse Files for REDLIB

File/Folder Name  Platform Size Date ↓ Downloads Notes/Subscribe
Newest Files
red.7.091223.tar.gz 534.2 KB 2009-12-23 0
redlib.a.091223.tar.gz 1.2 MB 2009-12-23 3
pathg.0.091223.tar.gz 538.3 KB 2009-12-23 6
All Files Subscribe
RED,TCTL model-checker, simulation-checker, parametric safety-analyzer 534.2 KB 2009-12-23 0 Subscribe Folder view
version 7_091223 534.2 KB 2009-12-23 0 Subscribe Folder view
red.7.091223.tar.gz 534.2 KB 2009-12-23 0
REDLIB, including executable, header files, and manual 1.2 MB 2009-12-23 3 Subscribe Folder view
version 1_091223 1.2 MB 2009-12-23 3 Subscribe Folder view
redlib.a.091223.tar.gz 1.2 MB 2009-12-23 3
REDLIB applications 1.1 MB 2009-12-23 42 Subscribe Folder view
pathg, a flexible symbolic simulator of timed automata 538.3 KB 2009-12-23 6 Subscribe Folder view
pathg 091223 538.3 KB 2009-12-23 6 Subscribe Folder view
pathg.0.091223.tar.gz 538.3 KB 2009-12-23 6
sudoku solver, built on top of REDLIB 518.8 KB 2009-10-31 10 Subscribe Folder view
version 0_091031 518.8 KB 2009-10-31 10 Subscribe Folder view
sdk.091031.tar.gz 518.8 KB 2009-10-31 10
treeex, a reachability graph constructor for timed automata 7.8 KB 2009-03-25 26 Subscribe Folder view
treeex 09_03_25 7.8 KB 2009-03-25 26 Subscribe Folder view
treeex-090326.tar.gz 7.8 KB 2009-03-25 26
RED graphical editor and user interface 3.7 MB 2009-11-04 40 Subscribe Folder view
guiRED 091104 3.7 MB 2009-11-04 40 Subscribe Folder view
guiRED.tar.gz 3.7 MB 2009-11-04 40
Benchmarks 26.3 KB 2008-11-01 323 Subscribe Folder view
Linear Hybrid Automata Benchmarks 6.4 KB 2008-11-01 134 Subscribe Folder view
LHA nuke para risk analysis 1.2 KB 2008-11-01 23 Subscribe Folder view
Benchmarks for RED 7_081101 1.2 KB 2008-11-01 23 Subscribe Folder view
bch.nuke.para-risk-analysis.081101.tar.gz 1.2 KB 2008-11-01 23 Release Notes
LHA GRC para risk analysis 3.0 KB 2008-10-08 28 Subscribe Folder view
Benchmark for RED 7 3.0 KB 2008-10-08 28 Subscribe Folder view
bch.grc.para-risk-analysis.081008.tar.gz 3.0 KB 2008-10-08 28 Release Notes
LHA Fischer para risk analysis 1.0 KB 2008-10-08 32 Subscribe Folder view
Benchmark for RED 7 1.0 KB 2008-10-08 32 Subscribe Folder view
bch.fischer.para-risk-analysis.081008.tar.gz 1.0 KB 2008-10-08 32 Release Notes
LHA CSMA-CD para risk analysis 1.2 KB 2008-10-08 51 Subscribe Folder view
Benchmarks for RED 7 1.2 KB 2008-10-08 51 Subscribe Folder view
bch.csma-cd.para-risk-analysis.081008.tar.gz 1.2 KB 2008-10-08 51 Release Notes
Timed Automata Benchmarks 19.9 KB 2008-10-08 189 Subscribe Folder view
TA Fischer simulation-checking 2.0 KB 2008-10-08 27 Subscribe Folder view
Benchmark for RED 7 2.0 KB 2008-10-08 27 Subscribe Folder view
bch.fischer.simulation.081008.tar.gz 2.0 KB 2008-10-08 27 Release Notes
TA Fischer model-checking 2.2 KB 2008-10-08 43 Subscribe Folder view
Benchmark for RED 7 2.2 KB 2008-10-08 43 Subscribe Folder view
bch.fischer.model-checking.081008.tar.gz 2.2 KB 2008-10-08 43 Release Notes
TA csma-cd simulation-checking 2.2 KB 2008-10-08 35 Subscribe Folder view
Benchmark for RED 7 2.2 KB 2008-10-08 35 Subscribe Folder view
bch.csma-cd.simulation.081008.tar.gz 2.2 KB 2008-10-08 35 Release Notes
TA csma-cd model-checking 2.6 KB 2008-10-08 46 Subscribe Folder view
Benchmark for RED 7 2.6 KB 2008-10-08 46 Subscribe Folder view
bch.csma-cd.model-checking.081008.tar.gz 2.6 KB 2008-10-08 46 Release Notes
TA FDDI risk analysis 10.9 KB 2008-05-02 38 Subscribe Folder view
Benchmarks for RED 7 10.9 KB 2008-05-02 38 Subscribe Folder view
bch.fddi.risk.080502.tar.gz 10.9 KB 2008-05-02 38 Release Notes
Documents 203.0 KB 2008-06-02 38 Subscribe Folder view
Technical Reports 203.0 KB 2008-06-02 38 Subscribe Folder view
Technical Report of Time-Convex Analysis (ATVA 2008) 203.0 KB 2008-06-02 38 Subscribe Folder view
tconvex-simple.pdf 203.0 KB 2008-06-02 38 Release Notes
RED modeling language syntax 5.9 KB 2008-05-01 103 Subscribe Folder view
version 7 5.9 KB 2008-05-01 103 Subscribe Folder view
red.syntax.080501.tar.gz 5.9 KB 2008-05-01 103 Release Notes