Search, Explore, Discover


Dezyne introduction

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.


Horizon 2020 Grant
Merry Christmas

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

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

A leading developer of software design tools to create, simulate, m...