Viewing profile — karkob

It's a general-purpose language, it starts to make sense as soon as you rich ~100 possible states in your code, which actually is a small number

Dezyne runs formal verification under the hood (Model checking), which basically means checking all possible situations that might happen in your code. You can create a requirement…

That's only the language, I strongly recommend using dedicated VS Code extension that supports graphical tools VS code extension: https://marketplace.visualstudio.com/items?itemNam…