SI-LTL2BA Files

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

Brought to you by: kanshuanglong

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
SI-LTL2BA	2015-08-10		1
Totals: 1 Item			1

Other Useful Business Software

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Grafana: The open and composable observability platform

Faster answers, predictable costs, and no lock-in built by the team helping to make observability accessible to anyone.

Grafana is the open source analytics & monitoring solution for every database.

Learn More

Recommended Projects

STPA Verifier
STPA Verifier is an Eclipse plug-in to verify the STPA safety requirements with model checker tools such as SPIN and NuSMV. The STPA-generated safety requirements are automatically transformed into formal specification in LTL (linear Temporal Logic). The STPA Verifier plug-in fetches all LTL formulae from XSTPA and allows user to load the verification model of system (Promela or SMV Model). Furthermore, STPA verifier provides a configuration view of each model checker (SPIN and NuSMV) to enable user to configure the model checker with necessary parameters. It also allows users to extract the Promela model from C-Code of the software by using the ModeX tool. The tool shows the results of each LTL formula in the table with different values (syntax error, success, failed (counterexample)and incomplete).
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)
LTL3DRA
LTL to deterministic Rabin automata translator based on LTL3BA
LTL3BA
Translator of LTL formulae to Büchi automata based on LTL2BA

SI-LTL2BA Files

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

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