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

Earn up to 16% annual interest with Nexo.

Let your crypto work for you

Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

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