Skip to content

Repository files navigation

Transition System Model Checker for MATLAB

A transition system model checker for MATLAB. This is used in the framework MOBATSim for verifying crossroads and it is now separated to an own project.

About

A transition system model checker for MATLAB

Resources

Stars

2 stars

Watchers

2 watching

Forks

Releases

Packages

Contributors

Languages