Dezyne is a software engineering toolset that enables engineers to specify, design, validate and formally verify soft...
Dezyne: Unique Technology
Unique technology of Dezyne explained:
- Dezyne is a modellin...
FSTC and Verum Partnership
From October 2020 FSTC will operate as a Verum sales partner for the German speaking countries in Europe.
Veru...
Merry Christmas
We wish you a Merry Christmas and a very happy 2021.
...
Horizon 2020 Grant
PLCnext Technology - PLC versus embedded controller
Software Verification
Game changing verification engine
As the complexity of software systems u...
The Business Case for Dezyne
With Dezyne you discover issues in the software early in the development cycle and consequently a lot of testing is a...
The Case for Mathematical Verification
Embedded software easily supports hundred thousands or even millions of different execution scenarios, which are in f...
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 ...
Verum software development
Verum
A leading developer of software design tools to create, simulate, m...