December 2020

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