Submit Software
  1. Home
  2. Linux
  3. Other
  4. REDLIB

REDLIB 8

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes
Download

* 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

VERSION HISTORY

  • Version version 8 posted on 2011-05-29
  • Version version_2 posted on 2011-03-24
    Several fixes and updates

Program Details

Related Programs

  • Open Pandora's Box Free

    Pandora is an artificial intelligent web based bot. Pandora is a component based AI architecture including, database memory, XML, voice, voice rec, chat, IRC, HTTP, Wiktionary, Freebase, consciousness, language, GUI, applet,

  • ActiveWizard Free Trial

    ActiveWizard is an easy-to-use ActiveX control that enables you to create 'Windows 2000 style' wizards. Just put an ActiveWizard control on your form, add some ActivePane controls, and the ActiveWizard control automatically r

  • Tilem - TI Linux Emulator Free

    An emulator for the Z80 series of Texas Instruments graphing calculators. It emulates all current Z80 calculator models except the TI-81, and features a debugger, external file loading, and full flash support, including flash

  • CUBRID Cluster Free

    See http://www.cubrid.org/cluster. CUBRID Cluster is an open source clustered DBMS for high scalability including global schema, distributed partition and load balancing features. It is a spin-off project from CUBRID project

  • Resolution Changer FREE Free

    ####### THIS APP REQUIRES ROOT #######Resolution Changer is an app that lets you change the resolution of your device.Ever connect your device to your TV or monitor and get black bars? Not able to get full resolution output t

  • Looper Event / Alert System Free

    The Looper Event / Alert System is an application primarily used for network management to perform alert monitoring and redirection. It is designed with extreme simplicity in mind and is highly modularized. Also used as a Net

  • Keystone Parser Free

    Keystone Parser is a parser front-end for the ISO C++ language definition.The Clouseau API is included.

  • Easy Recovery Free

    ★ Root Acces needed ★ This app installs a custom recovery,simply enter the path to it and it will be flashedI am not responsible for anything!!!Featured devices (100 % working):- Samsung Galaxy W (GT-I8150)- Samsung

  • Privacy Blocker Free Trial

    ($1.99 for a limited time, Normal price will be $3.99)(Please try Privacy Inspector before you buy Privacy Blocker)☆ AT&T Users need "SideLoading" enabled to use the main feature of this app.Privacy Blocker is the o

  • RKFS - A new filesystem for Linux Free

    RKFS - A new innovative filesystem for Linux. The goal is to provide a simple, but yet powerful filesystem that has all the features as Ext2 but for small devices (devices with less capacity). It is highly robust and provides