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

Award-Winning Medical Office Software Designed for Your Specialty

Succeed and scale your practice with cloud-based, data-backed, AI-powered healthcare software.

RXNT is an ambulatory healthcare technology pioneer that empowers medical practices and healthcare organizations to succeed and scale through innovative, data-backed, AI-powered software.

Learn More

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

Award-Winning Medical Office Software Designed for Your Specialty

Succeed and scale your practice with cloud-based, data-backed, AI-powered healthcare software.

RXNT is an ambulatory healthcare technology pioneer that empowers medical practices and healthcare organizations to succeed and scale through innovative, data-backed, AI-powered software.

Learn More

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.