The Case for Mathematical Verification

Embedded software easily supports hundred thousands or even millions of different execution scenarios, which are in fact all potential test cases. With conventional software development it is only feasible to test a fraction of the total cases available.

Part of the testing is not performed because the cost is too high. Even worse, a lot of scenarios cannot be checked with conventional testing because you are not able to identify or reach them.

Only when performing the verification with Dezyne, will make sure that the whole space is being covered!

Ask for an Introduction

Download the tool