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

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

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

Dezyne is much more than a just another tool or programming language. With Dezyne clever features are added that supp...

Verum is happy to announce Dezyne release 2.16 which introduces the defer keyword: a new language concept for impleme...

A couple of months back Dezyne FOSS (Free and Open-Source Software), the core programming language, has been admitted...

To be able to bring out Verum Dezyne Release 2.15, Verum processed a tremendous amount of user feedback, for which we...

Verum and Prespective researched ways to combine their respective technologies, and improve the way engineers design ...

Eindhoven, The Netherlands - 7 December 2021 - Verum Software Tools B.V. is announcing the FOSS release of Dezyne und...

Verum's CTO Rutger van Beusekom will present at the Software-Centric Systems Conference (SC2) Wednesday 6 October. At...

The scope of Dezyne increases significantly with the new simulator function: instead of single components, the new De...

Have a look at this thorough article.
It gives a lot of insights about Dezyne and was also used as a paper for the...

Monday, 23 May 2021, in the F-IDE 2021 workshop

Affiliated to NASA Formal Methods 2021

Verum will expla...

Verum is happy to announce Dezyne 2.12: This is the first release to include a complete state diagram for interfaces,...

Verum has set up a community platform – https://forum.verum.com/