GitHub repository: ArpithaMalavalli/statechart-verification
Description: A Formal Specification Language Based on Statecharts