* 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 | |||||
| pathg.0.091202.tar.gz | 532.2 KB | 2009-12-02 | 0 | ||
| red.7.091202.tar.gz | 528.7 KB | 2009-12-02 | 0 | ||
| All Files | Subscribe | ||||
| REDLIB applications | 1.1 MB | 2009-12-02 | 28 | Subscribe Folder view | |
| pathg, a flexible symbolic simulator of timed automata | 532.2 KB | 2009-12-02 | 0 | Subscribe Folder view | |
| pathg 091202 | 532.2 KB | 2009-12-02 | 0 | Subscribe Folder view | |
| pathg.0.091202.tar.gz | 532.2 KB | 2009-12-02 | 0 | ||
| 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 | 528.7 KB | 2009-12-02 | 0 | Subscribe Folder view | |
| version 7_091202 | 528.7 KB | 2009-12-02 | 0 | Subscribe Folder view | |
| red.7.091202.tar.gz | 528.7 KB | 2009-12-02 | 0 | ||
| REDLIB, including executable, header files, and manual | 1.2 MB | 2009-11-26 | 0 | Subscribe Folder view | |
| version 1_091202 | 1.2 MB | 2009-11-26 | 0 | Subscribe Folder view | |
| redlib.a.091126.tar.gz | 1.2 MB | 2009-11-26 | 0 | ||
| RED graphical editor and user interface | 3.7 MB | 2009-11-04 | 36 | Subscribe Folder view | |
| guiRED 091104 | 3.7 MB | 2009-11-04 | 36 | Subscribe Folder view | |
| guiRED.tar.gz | 3.7 MB | 2009-11-04 | 36 | ||
| Benchmarks | 26.3 KB | 2008-11-01 | 306 | Subscribe Folder view | |
| Linear Hybrid Automata Benchmarks | 6.4 KB | 2008-11-01 | 127 | Subscribe Folder view | |
| LHA nuke para risk analysis | 1.2 KB | 2008-11-01 | 22 | Subscribe Folder view | |
| Benchmarks for RED 7_081101 | 1.2 KB | 2008-11-01 | 22 | Subscribe Folder view | |
| bch.nuke.para-risk-analysis.081101.tar.gz | 1.2 KB | 2008-11-01 | 22 | 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 | 179 | 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 | 26 | Subscribe Folder view | |
| Benchmark for RED 7 | 2.0 KB | 2008-10-08 | 26 | Subscribe Folder view | |
| bch.fischer.simulation.081008.tar.gz | 2.0 KB | 2008-10-08 | 26 | 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 | 32 | Subscribe Folder view | |
| Benchmark for RED 7 | 2.2 KB | 2008-10-08 | 32 | Subscribe Folder view | |
| bch.csma-cd.simulation.081008.tar.gz | 2.2 KB | 2008-10-08 | 32 | 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
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
