redlib to run in linux online online with Winfy

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

Quick description about redlib to run in linux online:

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

.