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.