Partial Order Reduction for SE-LTL

Brought to you by: kanshuanglong

Last Update: 2017-05-26

Browse Code

Get an email when there's a new version of Partial Order Reduction for SE-LTL

Code and benchmarks can be found at "Files".
We also use git to manage our code and benchmarks,
You can found them at "Code".

This project provides a tool that implements the Partial Order Reduction for Checking State/Event Linear Temporal Logic.
This tool is based on SPIN.

Project Activity

See All Activity >

Follow Partial Order Reduction for SE-LTL

Partial Order Reduction for SE-LTL Web Site

Other Useful Business Software

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Rate This Project

User Reviews

Be the first to post a review of Partial Order Reduction for SE-LTL!

Additional Project Details

Registered

2015-10-15

Report inappropriate content

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Recommended Projects

BenchmarkTools.jl
A benchmarking framework for the Julia language
X-SPIN
It is a modified model checker based on SPIN to apply partial order reduction to check LTL formulae with X operator.
Multifactor Dimensionality Reduction
The objective of this project is to make available an open-source version of our Multifactor Dimensionality Reduction (MDR) software. MDR is a nonparametric alternative to logistic regression for detecting and characterizing nonlinear interactions.
The Silver Searcher
A code-searching tool similar to ack, but faster
Crunch PNG
Insane(ly slow but wicked good) PNG image optimization