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 id

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-Verification https://dezyne.org/dezyne/manual/dezyne/dezyne.html#Formal-V...