|
|
|
|
|
|
by rtpg
398 days ago
|
|
|
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... |
|
|