GitHub repository: ulyantsev/EFSM-tools
Primary language: C
Description: My tools for extended finite-state machine induction and testing