Questa è l'app Linux denominata CTL-RP per l'esecuzione in Linux online la cui ultima versione può essere scaricata come ctlrp21_sourceforge.zip. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app denominata CTL-RP per l'esecuzione in Linux online 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.
CTL-RP per l'esecuzione in Linux online
Ad
DESCRIZIONE
CTL-RP sta per Computation Tree Logic Resolution Prover. Computation Tree Logic (CTL) è una logica temporale a tempo di ramificazione. 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.Si prega di consultare il seguente collegamento per maggiori dettagli.
http://cueb.science/web/software/ (se sei in Cina.)
http://ctlrp.sourceforge.net (se non sei in Cina.)
Pubblico
Scienza / Ricerca
Interfaccia utente
Riga di comando
Linguaggio di programmazione
C
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/ctlrp/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.