* 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 | |
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
