karkob

3 ms·

1. 1.▲
   by karkob 1y ago

   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
2. 2.▲
   by karkob 1y ago

   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 will check is t
3. 3.▲
   by karkob 1y ago

   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: ht