State machine analyzer
Repository from Github https://github.comroman-mazur/smakRepository from Github https://github.comroman-mazur/smak
