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 requirements/constraint like statements and Dezyne…
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?itemName=verum.de... Verum Dezyne binary:…
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 requirements/constraint like statements and Dezyne…
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?itemName=verum.de... Verum Dezyne binary:…