In Q4 2019 the European Commission awarded Verum with a Horizon 2020 grant, the EU Framework Programme for...

Game changing verification engine As the complexity of software systems under development rapidly increases, Dezyne is being used...

Industrial automation is traditionally a PLC domain since they are simple and robust. However, in modern factories there...

Before Dezyne, there was Analytical Software Design: ASD. This article describes the origin of Dezyne’s verification technology. Innovating...