We wish you a Merry Christmas and a very happy 2021.

Embedded software easily supports hundred thousands or even millions of different execution scenarios, which are in fact all...

With Dezyne you discover issues in the software early in the development cycle and consequently a lot of...

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 A leading developer of software design tools to create, simulate, mathematically verify and automatically generate code for...

From October 2020 FSTC will operate as a Verum sales partner for the German speaking countries in Europe....

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

Industrial automation is traditionally a PLC domain since they are simple and robust. However, in modern factories there...

Before Dezyne, there was Analytical Software Design: ASD. This article describes the origin of Dezyne’s verification technology. Innovating...