LTL[e] model checker Files

An LTL[e] model checker for EVENT-B model as Rodin plugins.

Brought to you by: mark2400

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
plugins.zip	2011-10-10	263.5 kB	0
Totals: 1 Item		263.5 kB	0

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try Free

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

Start Free

Recommended Projects

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.
JavaMC
This is a java based model checker that reduces the time required for model checking by distributed state-space exploration.
NSFW Detection Machine Learning Model
Keras model of NSFW detector
Checksum Checker
Checksum Checker
Obj Model Viewer
Simple model viewer for obj format.

LTL[e] model checker Files

An LTL[e] model checker for EVENT-B model as Rodin plugins.

Get an email when there's a new version of LTL[e] model checker