MuChecker

Brought to you by: niklasg

Last Update: 2016-06-16

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

Other Useful Business Software

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Rate This Project

User Reviews

Be the first to post a review of MuChecker!

2011-08-18

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Recommended Projects

Modal Video
Modal Video Library
Bridge.jl
A statistical toolbox for diffusion processes
Cryptol
Cryptol: The Language of Cryptography
react-native-modal
An enhanced, animated, customizable Modal for React Native
WireElements Livewire v3
Component that provides you with a modal supporting multiple modals