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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

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.
UMark (UT2004 Benchmark)
UMark is a graphical interface that allows gamers to easily configure and run benchmarks on Unreal Tournament 200x. It supports "botmatch", "flyby", and "timedemo" benchmarks. You may save/load results, or submit them online.
State Machine Generator
Tool used to generate state machine framework code from a terse set of directives embedded directly in the input source code file. This tool will also generate GraphViz graphical description and Spin/Promela modelling output.
bemap
BEnchMarks for Automatic Parallelizer
Combinatory Reduction Systems Extended
Implementation of Combinatory Reduction Systems (CRS) with experimental extensions, in Java. CRS is a formalism for higher-order rewriting invented by J.W.Klop in 1980. For further details see the Project/Web Site.