Dit is de Linux-app met de naam CTL-RP die online in Linux moet worden uitgevoerd en waarvan de nieuwste release kan worden gedownload als ctlrp21_sourceforge.zip. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en voer deze app met de naam CTL-RP online uit om gratis online met OnWorks in Linux te draaien.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
CTL-RP om online onder Linux te draaien
Ad
PRODUCTBESCHRIJVING
CTL-RP staat voor Computation Tree Logic Resolution Prover. Computation Tree Logic (CTL) is een temporele logica met vertakkingen. CTL-RP is een op resolutie gebaseerde stellingbewijzer voor CTL, die gebruikmaakt van een eerste-orde stellingbewijzer, SPASS, als een kernengine voor gevolgtrekking.Zie de volgende link voor meer details.
http://cueb.science/web/software/ (Als u zich in China bevindt.)
http://ctlrp.sourceforge.net (als u zich niet in China bevindt.)
Toehoorders
Science / Research
Gebruikersinterface
Opdrachtregel
Programmeertaal
C
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/ctlrp/. Het is gehost in OnWorks om op een gemakkelijkste manier online te kunnen worden uitgevoerd vanuit een van onze gratis besturingssystemen.