Questa è l'app Linux denominata REDLIB la cui ultima versione può essere scaricata come redlib.a.130816.tar.gz. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app chiamata REDLIB con OnWorks gratuitamente.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
REDLIB
Ad
DESCRIZIONE
* Libreria di model-checking/simulazione-checking per sistemi real-time con modelli dense-time in C con tecnologia CRD (Clock-Restriction Diagrams). * Libreria di analisi parametrica per sistemi lineari-ibridi in C con tecnologia HRD (Hybrid-Restriction Diagram)
Caratteristiche
- Verifica della modalità simbolica e verifica della simulazione
- Comunicare modelli di automi temporizzati (CTA) e modelli di automi ibridi lineari (LHA)
- Libreria di interfaccia aperta
- Model-checking TCTL con ipotesi di equità
- Simulazione fiera CTA
- Analisi parametrica della sicurezza LHA
- GUI disponibile per la modifica del modello e la simulazione simbolica con controllo API
- Molte applicazioni disponibili, tra cui ompca (analizzatore OpenMP C), pathg (simulatore simbolico per CTA), risolutore di sudoku, costruttore di grafici di raggiungibilità, ecc.
Pubblico
Informatica, Scienza/Ricerca, Istruzione, Industria delle telecomunicazioni
Linguaggio di programmazione
C
Categorie
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/redlib/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.
