MuChecker

Brought to you by: niklasg

Last Update: 2016-06-16

Get an email when there's a new version of MuChecker

Model checker for verifying properties expressed in modal mu calculus of labeled transition systems in form of context free processes.

Project Activity

See All Activity >

Follow MuChecker

MuChecker Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Reviews

Be the first to post a review of MuChecker!

Additional Project Details

Registered

2011-08-18

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

JOrtho - Java Orthography Checker
JOrtho is a spell checker for Java. The library works with any JTextComponent from the swing framework. The dictionary is based on the free Wiktionary.org and applicable for multiple languages. You can select the spellchecking language via context menu.
CWC Simulator
This is an implementation of CWC (Calculus of Wrapped Compartments), a rewriting-based calculus for the representation and simulation of biological systems.
husk
An iptables front-end to allow rules to be expressed in a more flexible, free-form style using language closer to plain-English than iptables commands. Rules are then compiled to normal iptables commands.
Security Status Checker
Security Status Checker
ROCA
A model of the water, C, nutrients and microbial communities of the Amazon River. This project is still in development, the code may not be functional at this time. Most recent code version is under Files, labeled ROCA-date