* 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-11-01 | 23 | Subscribe Folder view | |
| Linear Hybrid Automata Benchmarks | 1.2 KB | 2008-11-01 | 23 | 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 | |
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
