/dotToNuSMVConverter

A tool for converting Mealy machine .dot models to NuSMV models which can be checked against specifications.

Primary LanguageJavaMIT LicenseMIT

Stargazers