Forum
Community
Free trial
Partners
Academia
Company
Contact
Toggle Navigation
Home
Discover Dezyne
News
Support
Dezyne manual
Download Dezyne manual
Tutorials
ASD
October 2020
Home
October 2020
+
Horizon 2020 Grant
In Q4 2019 the European Commission awarded Verum with a Horizon 2020 grant, the EU Framework Programme for...
+
Software Verification
Game changing verification engine As the complexity of software systems under development rapidly increases, Dezyne is being used...
+
PLCnext Technology – PLC versus embedded controller
Industrial automation is traditionally a PLC domain since they are simple and robust. However, in modern factories there...
+
The origin of Dezyne’s automatic verification technology – Analytical Software Design
Before Dezyne, there was Analytical Software Design: ASD. This article describes the origin of Dezyne’s verification technology. Innovating...
Archive
December 2021
1
October 2021
1
September 2021
1
June 2021
1
May 2021
1
April 2021
2
March 2021
1
February 2021
1
January 2021
2
December 2020
3
November 2020
4
October 2020
4