LTL[e] model checker Reviews

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

Brought to you by: mark2400

Add a Review

Downloads: 0 This Week

Last Update: 2012-10-18

Download

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

User Ratings

Rate This Project

$300 Free Credits for Your Google Cloud Projects

Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.

Start Free Trial