GitHub repository: luth1um/timed-automata-analysis
Primary language: TypeScript
Description: A project for analyzing Timed Automata.