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

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start 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

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start 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