Download Dezyne manual
August 7, 2020
December 26, 2020
Search, Explore, Discover
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...
With Dezyne, engineers create high-quality software for embedded or cyber-physical systems for various industries, such as semiconductor, medical...
Verum Software Tools works closely together with solution partners to provide software development services to execute projects using...
Verum’s Dezyne 2.11 provides an enhanced user experience. Also it is the first stand-alone version of our product...
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 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...
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...