X-SPIN

Brought to you by: kanshuanglong

Downloads: 1 This Week

Last Update: 2015-08-10

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

Other Useful Business Software

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Rate This Project

User Reviews

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

2015-08-04

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Recommended Projects

LTL3BA
Translator of LTL formulae to Büchi automata based on LTL2BA
disk spin-up utility
A simple tool to keep external hardrives from spinning down
Abdal Proxy Checker
Proxy Checker
Shell-operator
A tool for running event-driven scripts in Kubernetes
Equals Checker
A static checker that model checks the implementation of equality for an Eclipse Java Project.