Search, Explore, Discover


Dezyne release 2.17 explained

Dezyne release 2.17 explained: constrained interfaces, dead code detection, generalized integer expressions. The vide...

Tutorial: Car automatic high beams - executable case study

Scope of this video is to explain Dezyne basics and show how verification actively helps to develop bug-free code. Th...

Verum is happy to announce Dezyne release 2.17

In this release Verum has made Dezyne more compelling by making the notation for specifying interface behavior more c...