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