Questa è l'app Linux denominata LTL3 Tools, da eseguire online su Linux. La sua ultima versione può essere scaricata come ltl3tools-0.0.8.tar.gz. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app denominata LTL3 tools per eseguirla online su Linux 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.
Strumenti LTL3 da eseguire online su Linux
Ad
DESCRIZIONE
Una raccolta di strumenti che possono essere utilizzati per generare monitor ("watchdog") a partire da formule LTL. Questa funzionalità è nota nell'ambito della verifica runtime. Per ulteriori informazioni, consultare la homepage del progetto associato.Pubblico
Aerospaziale, Scienza/Ricerca, Ingegneri della qualità, Automotive
Interfaccia utente
Riga di comando
Linguaggio di programmazione
OCaml (Obiettivo Caml)
Questa applicazione può essere scaricata anche da https://sourceforge.net/projects/ltl3tools/. È ospitata su OnWorks per poter essere eseguita online nel modo più semplice da uno dei nostri sistemi operativi gratuiti.
