November 2020

Horizon 2020 Grant
In Q4 2019 the European Commission awarded Verum with a...
Software Verification
Game changing verification engine As the complexity of software systems...
PLCnext Technology – PLC versus embedded controller
Industrial automation is traditionally a PLC domain since they are...
The origin of Dezyne’s automatic verification technology – Analytical Software Design
Before Dezyne, there was Analytical Software Design: ASD. This article...