redlib online with Winfy

We have hosted the application redlib in order to run this application in our online workstations with Wine or directly.

Quick description about redlib:

* 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) technol.

Features:

• Symbolic mode-checking and simulation checking
• Communicating timed automata (CTA) models and linear-hybrid automata (LHA) models
• Open interface library
• TCTL model-checking with fairness assumptions
• CTA fair simulation
• LHA parametric safety analysis
• GUI available for model editing and symbolic simulation with API control
• Many applications available, including ompca (OpenMP C analyzer), pathg (symbolic simulator for CTA), sudoku solver, reachability graph constructor, etc.

Audience: Information Technology, Science/Research, Education, Telecommunications Industry.

Programming Language: C.
Categories: