X-SPIN

Brought to you by: kanshuanglong

Add a Review

Downloads: 1 This Week

Last Update: 2015-08-10

Download

Get an email when there's a new version of X-SPIN

It is a modified model checker based on SPIN to apply partial order reduction to check LTL formulae with X operator.

Project Activity

See All Activity >

Follow X-SPIN

X-SPIN Web Site

Other Useful Business Software

Run applications fast and securely in a fully managed environment

Cloud Run is a fully-managed compute platform that lets you run your code in a container directly on top of scalable infrastructure.

Run frontend and backend services, batch jobs, deploy websites and applications, and queue processing workloads without the need to manage infrastructure.

Try for free

Rate This Project

User Reviews

Be the first to post a review of X-SPIN!

Additional Project Details

Registered

2015-08-04

Report inappropriate content

Run applications fast and securely in a fully managed environment

Cloud Run is a fully-managed compute platform that lets you run your code in a container directly on top of scalable infrastructure.

Run frontend and backend services, batch jobs, deploy websites and applications, and queue processing workloads without the need to manage infrastructure.

Try for free

Recommended Projects

Spin
Replicate your production environment locally using Docker
LTL3BA
Translator of LTL formulae to Büchi automata based on LTL2BA
Top Spin Toolkit
Modding Tools for the Top Spin PC tennis game
ConcurrencySuite
PCDP is a suite of tools for teaching and learning advanced computer science: DAJ for distributed algorithms, VN for nondeterminism, the jSpin environment for the Spin model checker, and SpinSpider for creating state diagrams.
Triple-A
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.