* 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 |
|---|---|---|---|---|---|
| Subdirectory (view all files) | |||||
| Benchmarks | 1.2 KB | 2008-10-08 | 49 | Subscribe Folder view | |
| Linear Hybrid Automata Benchmarks | 1.2 KB | 2008-10-08 | 49 | Subscribe Folder view | |
| 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 | |
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
