CTL-RP

CTL-RP stands for Computation Tree Logic Resolution Prover. Computation Tree Logic (CTL) is a branching-time temporal logic. CTL-RP is a resolution based theorem prover for CTL, which utilises a first-order theorem prover, SPASS, as a core engine for inference.

Please see the following link for more details.
http://cueb.science/web/software/ (if you are inside China.)
http://ctlrp.sourceforge.net (if you are not inside China.)

Project Activity

See All Activity >

Follow CTL-RP

CTL-RP Web Site

Other Useful Business Software

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

Rate This Project

User Reviews

Be the first to post a review of CTL-RP!

Additional Project Details

Operating Systems

Linux

Intended Audience

Science/Research

User Interface

Command-line

Programming Language

Related Categories

C Artificial Intelligence Software

Registered

2016-08-31

Similar Business Software

Google Compute Engine

Compute Engine is Google's infrastructure as a service (IaaS) platform for organizations to create and run cloud-based virtual machines. Computing infrastructure in predefined or custom machine sizes to accelerate your cloud transformation. General purpose (E2, N1, N2, N2D) machines provide a...

See Software
Pylon

Pylon is an All-in-one B2B Support Platform for modern B2B businesses. We bring together everything a post-sales teams team needs including a ticketing system, B2B omnichannel integrations (Slack Connect, Microsoft Teams), modern chat widget, knowledge base, AI support bot, account...

See Software
Dialpad Support

Dialpad Contact Center is Dialpad's AI-native platform for customer experience — the connective layer where conversations, intelligence, and action come together in real time. At its core, Dialpad Contact Center is the world's first Agentic AI contact center: AI agents that don't just...

See Software
LM-Kit.NET

LM-Kit.NET is a complete local AI runtime for .NET that lets engineering teams ship AI-powered features without cloud dependencies, per-token costs, or data leaving the network. Most .NET AI integrations stop at inference. LM-Kit.NET covers the full range of capabilities production...

See Software
Podium

Podium is a comprehensive AI-driven lead management and communication platform utilized by over 100,000 businesses seeking to enhance customer acquisition and retention. At the heart of Podium’s innovation is its AI employee, which ensures businesses respond to incoming leads instantly around...

See Software
Google Cloud BigQuery

BigQuery is a serverless, multicloud data warehouse that simplifies the process of working with all types of data so you can focus on getting valuable business insights quickly. At the core of Google’s data cloud, BigQuery allows you to simplify data integration, cost effectively and securely...

See Software