Applications

How to code for the IoT more flawlessly

How to code for the IoT more flawlessly

Dezyne IDE now offers integrated support for Arduino as the basis for small but verifiably correct IoT applications. From within the Dezyne Eclipse IDE you can download and install the Arduino plugin.

Why software defects remain a challenge and what to do about it

Why software defects remain a challenge and what to do about it

The cost of fixing a defect increases exponentially as the defect propagates. And yet, a conventional approach to software development performs only subjective analysis of specifications and designs. But what if there was a way to verify and validate software specifications and designs?

Using the power of Dezyne's verification and validation features to build cyber resilient applications

Using the power of Dezyne’s verification and validation features to build cyber resilient applications

There are various ways in which an intruder might seek to compromise your operations. One of the simplest, blunt force methods is to look for an application with network interfaces and attempt to disrupt it. How certain are you that your software systems are resilient enough to cope with such an attack?

Reengineering legacy software with Dezyne

Reengineering legacy software with Dezyne

Reengineering legacy software is an undesirable but nevertheless occasionally unavoidable necessity. In this paper, we present a technique by which lost or poorly understood behaviour can be recovered and turned into formally verifiable models.

Subscribe to our Newsletter

Register now for a free evaluation of Dezyne and get software design freedom today!

“Register now for a free fully featured evaluation version”