Comment by rtpg

Sounds like formal verification is built into the language, which sounds nice for people who care!

Given this is spitting out C++ code, it could be that the ideal way of using this is to write your state machines with this, then use the output in a more traditional setup.

https://dezyne.org/dezyne/manual/dezyne/dezyne.html#Formal-V...