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

Forever Free Full-Stack Observability | Grafana Cloud

Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.

Create free account

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

Forever Free Full-Stack Observability | Grafana Cloud

Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Create free account

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
Equals Checker
A static checker that model checks the implementation of equality for an Eclipse Java Project.
KubeAI
Private Open AI on Kubernetes