Questa è l'app Linux denominata CTL-RP, eseguibile online su Linux, la cui ultima versione può essere scaricata come ctlrp21_sourceforge.zip. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app denominata CTL-RP per eseguirla gratuitamente online su Linux con OnWorks.
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.
CTL-RP verrà eseguito online su Linux
Ad
DESCRIZIONE
CTL-RP è l'acronimo di Computation Tree Logic Resolution Prover. Computation Tree Logic (CTL) è una logica temporale con tempo di diramazione. CTL-RP è un dimostratore di teoremi basato sulla risoluzione per CTL, che utilizza un dimostratore di teoremi del primo ordine, SPASS, come motore principale per l'inferenza.Per maggiori dettagli consultare il seguente link.
http://cueb.science/web/software/ (se ti trovi in Cina.)
http://ctlrp.sourceforge.net (se non ti trovi in Cina.)
Pubblico
Scienza / Ricerca
Interfaccia utente
Riga di comando
Linguaggio di programmazione
C
Questa applicazione può essere scaricata anche da https://sourceforge.net/projects/ctlrp/. È ospitata su OnWorks per poter essere eseguita online nel modo più semplice da uno dei nostri sistemi operativi gratuiti.