GitHub repository: sujitkc/statechart-verification
Primary language: Java
Created: 2017-09-14T04:24:39Z
Description: A Formal Specification Language Based on Statecharts