CTL-RP Files

CTL-RP is a theorem prover for Computation Tree Logic (CTL)

Brought to you by: alan43

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
ctlrp21_sourceforge.zip	2016-10-11	2.0 MB	0
Totals: 1 Item		2.0 MB	0

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Build Data Resilience - Take the Assessment Today

Can you recover when it matters most? Take this quick assessment to identify gaps and build greater recovery confidence.

Is your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.

Take the Assessment

Recommended Projects

C Template Library
SQUAT/CTL is a platform independant macro template library for C/C++. It provides container, template, serialization and code generation patterns for the C/C++ language family based on C preprocessor macros.
CertForge
CertForge is a web-based certificate utility written in Java 1.6, to make or view X.509 certificates, keys, CRLs, manage keystore and truststore (CTL) for SSL sites, and run as a simple Certificate Authority (CA).
athena-dpl
Athena is an interactive theorem prover, liberated from the "proofs are types" dogma!
Prikl
A theorem prover for IKL, a very expressive ontology language. Status: This project is pre-alpha.
BeaST Quorum
Quorum device implementation for shared block devices