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...
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...