Hy, I'm looking for a tool to build my state machines and verify them. Possible languages for generating the code are Python or C++. I did a bit of research but I just want some input from different sides.
Software Recommendations Stack Exchange is a question and answer site for people seeking specific software recommendations. It only takes a minute to sign up.Sign up to join this community