Partial Order Reduction for SE-LTL

Brought to you by: kanshuanglong

Downloads: 0 This Week

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

Ship Agents Faster Icon

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

Login To 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

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

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.