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

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Rate This Project

User Reviews

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

2015-08-04

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Recommended Projects

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.
LTL3BA
Translator of LTL formulae to Büchi automata based on LTL2BA
RT60 Calculator
A python-based calculator that uses the Sabine, Norris-Eyring and Fitzroy formulae to calculate the RT60 time of a room with given specifications. Material list from SAE Institute reference.
autoCode4
Synthesizing embedded control software from formal specifications
Shell-operator
A tool for running event-driven scripts in Kubernetes