Fresh Release Notes Dezyne version 2.7.x - Formal verification & Model driven development - Dezyne | Verum

Fresh Release Notes Dezyne version 2.7.x

On the 3rd of May 2018 service 2.7.1 has been replaced with service 2.7.2 as Default. A recap of the most important fixes and improvements:

  • An improved verification performance, especially for large models.
  • For an interface, the deadlock and livelock checks are performed in parallel.
  • For a component, the deterministic, illegal, deadlock, and livelock checks are performed in parallel.
  • The verification results view reports per check the number of states and transitions that have been considered.

Related: In need of inspiration? Browse through all Dezyne examples

Please check out the full release notes here to discover all fixes and improvements.

Can’t wait to give Dezyne a try? We can understand.

Download Dezyne
Enjoy this article? Don't forget to share.