Search, Explore, Discover

News

+
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...
+
Merry Christmas
We wish you a Merry Christmas and a very happy 2021.
+
The Case for Mathematical Verification
Embedded software easily supports hundred thousands or even millions of different execution scenarios, which are in fact all...
+
The Business Case for Dezyne
With Dezyne you discover issues in the software early in the development cycle and consequently a lot of...
+
Dezyne: Unique Technology
Unique technology of Dezyne explained: Dezyne is a modelling language for embedded and cyber-physical systems with formal semantics....
+
Dezyne introduction
Dezyne is a software engineering toolset that enables engineers to specify, design, validate and formally verify software components...
+
Verum software development
Verum A leading developer of software design tools to create, simulate, mathematically verify and automatically generate code for...
+
FSTC and Verum Partnership
From October 2020 FSTC will operate as a Verum sales partner for the German speaking countries in Europe....
+
Horizon 2020 Grant
In Q4 2019 the European Commission awarded Verum with a Horizon 2020 grant, the EU Framework Programme for...
+
Software Verification
Game changing verification engine As the complexity of software systems under development rapidly increases, Dezyne is being used...
+
PLCnext Technology – PLC versus embedded controller
Industrial automation is traditionally a PLC domain since they are simple and robust. However, in modern factories there...
+
The origin of Dezyne’s automatic verification technology – Analytical Software Design
Before Dezyne, there was Analytical Software Design: ASD. This article describes the origin of Dezyne’s verification technology. Innovating...