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