* 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 | |||||
| redlib.a.091121.tar.gz | 1.2 MB | 2009-11-21 | 21 | ||
| All Files | Subscribe | ||||
| REDLIB, including executable, header files, and manual | 1.2 MB | 2009-11-21 | 21 | Subscribe Folder view | |
| version 1_091126 | 1.2 MB | 2009-11-21 | 21 | Subscribe Folder view | |
| redlib.a.091121.tar.gz | 1.2 MB | 2009-11-21 | 21 | ||
| REDLIB applications | 1.1 MB | 2009-11-12 | 48 | Subscribe Folder view | |
| pathg, a flexible symbolic simulator of timed automata | 529.8 KB | 2009-11-12 | 20 | Subscribe Folder view | |
| pathg 091112 | 529.8 KB | 2009-11-12 | 20 | Subscribe Folder view | |
| pathg.0.091112.tar.gz |
|
529.8 KB | 2009-11-12 | 20 | |
| sudoku solver, built on top of REDLIB | 518.8 KB | 2009-10-31 | 4 | Subscribe Folder view | |
| version 0_091031 | 518.8 KB | 2009-10-31 | 4 | Subscribe Folder view | |
| sdk.091031.tar.gz | 518.8 KB | 2009-10-31 | 4 | ||
| treeex, a reachability graph constructor for timed automata | 7.8 KB | 2009-03-25 | 24 | Subscribe Folder view | |
| treeex 09_03_25 | 7.8 KB | 2009-03-25 | 24 | Subscribe Folder view | |
| treeex-090326.tar.gz | 7.8 KB | 2009-03-25 | 24 | ||
| RED,TCTL model-checker, simulation-checker, parametric safety-analyzer | 526.5 KB | 2009-11-12 | 8 | Subscribe Folder view | |
| version 7_091112 | 526.5 KB | 2009-11-12 | 8 | Subscribe Folder view | |
| red.7.091112.tar.gz | 526.5 KB | 2009-11-12 | 8 | ||
| RED graphical editor and user interface | 3.7 MB | 2009-11-04 | 31 | Subscribe Folder view | |
| guiRED 091104 | 3.7 MB | 2009-11-04 | 31 | Subscribe Folder view | |
| guiRED.tar.gz | 3.7 MB | 2009-11-04 | 31 | ||
| Benchmarks | 26.3 KB | 2008-11-01 | 303 | Subscribe Folder view | |
| Linear Hybrid Automata Benchmarks | 6.4 KB | 2008-11-01 | 126 | Subscribe Folder view | |
| LHA nuke para risk analysis | 1.2 KB | 2008-11-01 | 21 | Subscribe Folder view | |
| Benchmarks for RED 7_081101 | 1.2 KB | 2008-11-01 | 21 | Subscribe Folder view | |
| bch.nuke.para-risk-analysis.081101.tar.gz | 1.2 KB | 2008-11-01 | 21 | Release Notes | |
| LHA GRC para risk analysis | 3.0 KB | 2008-10-08 | 26 | Subscribe Folder view | |
| Benchmark for RED 7 | 3.0 KB | 2008-10-08 | 26 | Subscribe Folder view | |
| bch.grc.para-risk-analysis.081008.tar.gz | 3.0 KB | 2008-10-08 | 26 | Release Notes | |
| LHA Fischer para risk analysis | 1.0 KB | 2008-10-08 | 30 | Subscribe Folder view | |
| Benchmark for RED 7 | 1.0 KB | 2008-10-08 | 30 | Subscribe Folder view | |
| bch.fischer.para-risk-analysis.081008.tar.gz | 1.0 KB | 2008-10-08 | 30 | Release Notes | |
| LHA CSMA-CD para risk analysis | 1.2 KB | 2008-10-08 | 49 | Subscribe Folder view | |
| Benchmarks for RED 7 | 1.2 KB | 2008-10-08 | 49 | Subscribe Folder view | |
| bch.csma-cd.para-risk-analysis.081008.tar.gz | 1.2 KB | 2008-10-08 | 49 | Release Notes | |
| Timed Automata Benchmarks | 19.9 KB | 2008-10-08 | 177 | Subscribe Folder view | |
| TA csma-cd model-checking | 2.6 KB | 2008-10-08 | 45 | Subscribe Folder view | |
| Benchmark for RED 7 | 2.6 KB | 2008-10-08 | 45 | Subscribe Folder view | |
| bch.csma-cd.model-checking.081008.tar.gz | 2.6 KB | 2008-10-08 | 45 | Release Notes | |
| TA Fischer simulation-checking | 2.0 KB | 2008-10-08 | 25 | Subscribe Folder view | |
| Benchmark for RED 7 | 2.0 KB | 2008-10-08 | 25 | Subscribe Folder view | |
| bch.fischer.simulation.081008.tar.gz | 2.0 KB | 2008-10-08 | 25 | Release Notes | |
| TA Fischer model-checking | 2.2 KB | 2008-10-08 | 40 | Subscribe Folder view | |
| Benchmark for RED 7 | 2.2 KB | 2008-10-08 | 40 | Subscribe Folder view | |
| bch.fischer.model-checking.081008.tar.gz | 2.2 KB | 2008-10-08 | 40 | Release Notes | |
| TA csma-cd simulation-checking | 2.2 KB | 2008-10-08 | 31 | Subscribe Folder view | |
| Benchmark for RED 7 | 2.2 KB | 2008-10-08 | 31 | Subscribe Folder view | |
| bch.csma-cd.simulation.081008.tar.gz | 2.2 KB | 2008-10-08 | 31 | Release Notes | |
| TA FDDI risk analysis | 10.9 KB | 2008-05-02 | 36 | Subscribe Folder view | |
| Benchmarks for RED 7 | 10.9 KB | 2008-05-02 | 36 | Subscribe Folder view | |
| bch.fddi.risk.080502.tar.gz | 10.9 KB | 2008-05-02 | 36 | Release Notes | |
| Documents | 203.0 KB | 2008-06-02 | 35 | Subscribe Folder view | |
| Technical Reports | 203.0 KB | 2008-06-02 | 35 | Subscribe Folder view | |
| Technical Report of Time-Convex Analysis (ATVA 2008) | 203.0 KB | 2008-06-02 | 35 | Subscribe Folder view | |
| tconvex-simple.pdf | 203.0 KB | 2008-06-02 | 35 | Release Notes | |
| RED modeling language syntax | 5.9 KB | 2008-05-01 | 93 | Subscribe Folder view | |
| version 7 | 5.9 KB | 2008-05-01 | 93 | Subscribe Folder view | |
| red.syntax.080501.tar.gz | 5.9 KB | 2008-05-01 | 93 | Release Notes | |
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
