Esta es la aplicación de Linux llamada CTL-RP para ejecutarse en Linux en línea, cuya última versión se puede descargar como ctlrp21_sourceforge.zip. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada CTL-RP para ejecutarla en Linux en línea con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
CTL-RP para ejecutar en Linux en línea
Ad
DESCRIPCIÓN
CTL-RP son las siglas de Computation Tree Logic Resolution Prover. La lógica de árbol de cálculo (CTL) es una lógica temporal de tiempo de ramificación. CTL-RP es un comprobador de teoremas basado en resolución para CTL, que utiliza un comprobador de teoremas de primer orden, SPASS, como motor central para la inferencia.Consulte el siguiente enlace para obtener más detalles.
http://cueb.science/web/software/ (si se encuentra dentro de China).
http://ctlrp.sourceforge.net (si no se encuentra dentro de China).
Público
Ciencia / Investigación
Interfaz de usuario
Línea de comando
Lenguaje de programación
C
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/ctlrp/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.