* 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.
Release Date:
2009-11-07
Topics:
License:
Ratings and Reviews
Be the first to post a text review of REDLIB. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
File released: /pathg, a flexible symbolic simulator of timed automata/pathg 091107/pathg.0.091107.tar.gz
-
File released: /RED,TCTL model-checker, simulation-checker, parametric safety-analyzer/version 7_091107/red.7.091107.tar.gz
-
File released: /REDLIB, including executable, header files, and manual/version 1_091107/redlib.a.091107.tar.gz
-
File released: /RED/version 7_091105/red.7.091105.tar.gz
-
File released: /RED,TCTL-model-checker, simulation-checker, parametric-safety-analyer/version 7_091105/red.7.091105.tar.gz
-
File released: /RED,TCTL model-checker, simulation-checker, parametric safety-analyzer/version 7_091105/red.7.091105.tar.gz
-
File released: /RED,TCTL model-checker, simulation-checker, parametric safety-analyzer/version 7_091107/red.7.091105.tar.gz
-
File released: /pathg/pathg 091105/pathg.0.091105.tar.gz
-
File released: /pathg, a flexible symbolic simulator of timed automata/pathg 091105/pathg.0.091105.tar.gz
-
File released: /pathg, a flexible symbolic simulator of timed automata/pathg 091107/pathg.0.091105.tar.gz
Rate and Review
Be the first person to add a text review.
Related Projects
REDLIB Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
