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.

Name		Name	Last commit message	Last commit date
Crossroad		Crossroad
Examples		Examples
General		General
img		img
resources/project		resources/project
.gitattributes		.gitattributes
.gitignore		.gitignore
LICENSE		LICENSE
ModelChecker.mlx		ModelChecker.mlx
ModelChecker.prj		ModelChecker.prj
README.md		README.md

Navigation Menu

Repository navigation

About

Repository files navigation

Transition System Model Checker for MATLAB

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

Transition System Model Checker for MATLAB

About

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages