Aceasta este aplicația Linux numită CTL-RP a cărei ultimă versiune poate fi descărcată ca ctlrp21_sourceforge.zip. Poate fi rulat online în furnizorul gratuit de găzduire OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită CTL-RP cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
CTL-RP
Ad
DESCRIERE
CTL-RP înseamnă Computation Tree Logic Resolution Prover. Logica arborelui de calcul (CTL) este o logică temporală în timp de ramificare. CTL-RP este un demonstrator de teoreme bazat pe rezoluție pentru CTL, care utilizează un demonstrator de teoreme de ordinul întâi, SPASS, ca motor de bază pentru inferență.
Vă rugăm să consultați următorul link pentru mai multe detalii.
http://cueb.science/web/software/ (dacă vă aflați în China.)
http://ctlrp.sourceforge.net (dacă nu vă aflați în China.)
Public
Știință/Cercetare
Interfața cu utilizatorul
Linie de comanda
Limbaj de programare
C
Categorii
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/ctlrp/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.
