Sismic Interactive State Machine Interpreter and Checker
https://github.com/AlexandreDecan/sismic
76ecc6dd
bb97e42d
300ceb5e
e2747c8d
630fddce
7ae339af
5bf0404d