vrm@dm1n

+
Taking formal methods mainstream
Verum’s CTO Rutger van Beusekom will present at the Software-Centric Systems Conference (SC2) Wednesday 6 October. At SC2,...
+
Dezyne 2.13.2 Release
The scope of Dezyne increases significantly with the new simulator function: instead of single components, the new Dezyne...
+
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...
+
Affiliated to NASA Formal Methods 2021
Monday, 23 May 2021, in the F-IDE 2021 workshop Affiliated to NASA Formal Methods 2021 Verum will explain...
+
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...
+
Verum has set up a community platform
Verum has set up a community platform - https://forum.verum.com/ - in which you can discuss, learn, find advice,...
+
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 provides an interesting inside...
+
Technology Partners
With Dezyne, engineers create high-quality software for embedded or cyber-physical systems for various industries, such as semiconductor, medical...
+
Solution Partner
Verum Software Tools works closely together with solution partners to provide software development services to execute projects using...
+
Dezyne 2.11
Verum’s Dezyne 2.11 provides an enhanced user experience. Also it is the first stand-alone version of our product...