Search, Explore, Discover

News

+
Taking formal methods mainstream

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

+
Dezyne 2.11

Verum’s Dezyne 2.11 provides an enhanced user experience. Also it is the first stand-alone version of our product – i...

+
Affiliated to NASA Formal Methods 2021

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

Affiliated to NASA Formal Methods 2021

Verum will expla...

+
Announcement: Verum releases the Dezyne Programming Language as FOSS (Free and Open Source Software)

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

+
Dezyne 2.13.2 Release

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

+
Dezyne: Paving the Way to Practical Formal Software Engineering

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

+
Technology Partners

With Dezyne, engineers create high-quality software for embedded or cyber-physical systems for various industries, su...

+
Solution Partner

Verum Software Tools works closely together with solution partners to provide software development services to execut...

+
Tim Beurskens, graduate student Embedded Systems at the Eindhoven University of Technology

Tim Beurskens, graduate student Embedded Systems at the Eindhoven University of Technology.

This video provide...

+
Verum is happy to announce Dezyne 2.12

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

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