GitHub repository: mikhail-barg/NiceStateMachineGenerator
Primary language: C#
Created: 2021-08-01T07:11:47Z
Description: A tool for formal verification of state machines and code generation.