SI-LTL2BA

SI-LTL2BA detects an SI-component of a B\"uchi Automaton

Brought to you by: kanshuanglong

Add a Review

Downloads: 0 This Week

Last Update: 2016-05-24

Download

Get an email when there's a new version of SI-LTL2BA

We adapted the tool LTL2BA which translates an LTL formula into a B\"uchi Automaton (BA) to detecting an SI-component of a BA.

Project Activity

See All Activity >

Follow SI-LTL2BA

SI-LTL2BA Web Site

Other Useful Business Software

Full-stack observability with actually useful AI | 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 SI-LTL2BA!

Additional Project Details

Registered

2015-01-22

Report inappropriate content

Full-stack observability with actually useful AI | 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

X-SPIN
It is a modified model checker based on SPIN to apply partial order reduction to check LTL formulae with X operator.
KA Dao for Lazarus
Visual component for Lazarus to support Microsoft DAO (MS Jet)
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.
pdftohtml
Pdftohtml is a tool based on the Xpdf package which translates pdf documents into html format.
LTL3BA
Translator of LTL formulae to Büchi automata based on LTL2BA