# Announcements **URL:** https://forum.verum.com/c/announcements/5.md [Latest](https://forum.verum.com/latest.md) · [Categories](https://forum.verum.com/categories.md) --- ## [Verum Dezyne Release 2.19](https://forum.verum.com/t/verum-dezyne-release-2-19/1114)
**Author:** [@karkob](https://forum.verum.com/u/karkob)\ **Replies:** 0\ **Last updated:** [September 10, 2025, 11:58am UTC](https://forum.verum.com/t/verum-dezyne-release-2-19/1114 "2025-09-10T11:58:27Z")
Dezyne 2.19: Invariants, External Returns, and Practical Enhancements The upcoming Dezyne 2.19 release introduces important language and tool updates. The headline feature is invariants, allowing requirements to be expr… --- ## [Verum Dezyne 2.17 Release](https://forum.verum.com/t/verum-dezyne-2-17-release/100)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\ **Replies:** 0\ **Last updated:** [January 23, 2023, 3:37pm UTC](https://forum.verum.com/t/verum-dezyne-2-17-release/100 "2023-01-23T15:37:46Z")
Before 2.17.0, for a component to be compliant with its provides interface(s), implementing a component required meticulously specifying the same behavior in the component as in the provides interface; therefore the code… --- ## [Verum Dezyne 2.16 Release](https://forum.verum.com/t/verum-dezyne-2-16-release/87)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\ **Replies:** 0\ **Last updated:** [August 19, 2022, 12:09pm UTC](https://forum.verum.com/t/verum-dezyne-2-16-release/87 "2022-08-19T12:09:30Z")
We are happy to announce Dezyne 2.16 which introduces the defer keyword: A new language concept for implementing an asynchronous interface. With defer, the basic semantics are complete. Defer replaces dzn.async ports fe… --- ## [Verum Dezyne 2.15 Release](https://forum.verum.com/t/verum-dezyne-2-15-release/84)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\ **Replies:** 0\ **Last updated:** [May 9, 2022, 9:51am UTC](https://forum.verum.com/t/verum-dezyne-2-15-release/84 "2022-05-09T09:51:23Z")
We are proud to announce Verum Dezyne 2.15 which completes full support for blocking: This marks the unification into single threaded execution semantics. Changes in 2.15.0 since 2.14.0 Language Blocking is now fully … --- ## [Announcement: Verum releases the Dezyne Programming Language as FOSS (Free and Open Source Software)](https://forum.verum.com/t/announcement-verum-releases-the-dezyne-programming-language-as-foss-free-and-open-source-software/74)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\ **Replies:** 0\ **Last updated:** [December 7, 2021, 1:41pm UTC](https://forum.verum.com/t/announcement-verum-releases-the-dezyne-programming-language-as-foss-free-and-open-source-software/74 "2021-12-07T13:41:10Z")
Eindhoven, The Netherlands – 7 December 2021 – Verum Software Tools B.V. is announcing the FOSS release of Dezyne under the Affero GNU Public License version 3. Dezyne is a programming language used to specify, validate,… --- ## [Dezyne 2.14 Release](https://forum.verum.com/t/dezyne-2-14-release/73)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\ **Replies:** 0\ **Last updated:** [December 7, 2021, 1:08pm UTC](https://forum.verum.com/t/dezyne-2-14-release/73 "2021-12-07T13:08:16Z")
This release introduces implicit interface illegals: Specifying illegal in an interface is now optional, similar to components. Dezyne now also has implicit temporary variables: a single valued action or call can now be… --- ## [Dezyne 2.13.2 Release](https://forum.verum.com/t/dezyne-2-13-2-release/69)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\ **Replies:** 0\ **Last updated:** [September 20, 2021, 9:26am UTC](https://forum.verum.com/t/dezyne-2-13-2-release/69 "2021-09-20T09:26:11Z")
With release 2.13 the previous simulator has been replaced with a new simulator function, which includes system scope validation, a major improvement. The system scope simulator provides more insight in the working of a … --- ## [Dezyne 2.12.0 Release](https://forum.verum.com/t/dezyne-2-12-0-release/40)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\ **Replies:** 0\ **Last updated:** [April 21, 2021, 8:50am UTC](https://forum.verum.com/t/dezyne-2-12-0-release/40 "2021-04-21T08:50:50Z")
Herewith we announce Dezyne 2.12: The first release to include a complete state diagram for interfaces, components and systems. Dezyne introduces a new command to explore models ( dzn explore ) that can generate an LTS … --- ## [Dezyne 2.11.0 Release](https://forum.verum.com/t/dezyne-2-11-0-release/32)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\ **Replies:** 0\ **Last updated:** [March 3, 2021, 1:59pm UTC](https://forum.verum.com/t/dezyne-2-11-0-release/32 "2021-03-03T13:59:16Z")
Dezyne 2.11: The first standalone release with the Dezyne-IDE, that includes simulation and visualization similar to 2.9. Dezyne-IDE introduces an LSP langserver.org server ‘ide lsp’ with basic code completion and goto-… --- ## [Dezyne 2.10.0 Release](https://forum.verum.com/t/dezyne-2-10-0-release/22)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\ **Replies:** 0\ **Last updated:** [March 2, 2021, 11:00pm UTC](https://forum.verum.com/t/dezyne-2-10-0-release/22 "2021-03-02T23:00:00Z")
Dezyne 2.10: The first standalone release of Dezyne. Dezyne no longer depends on a server for verification or code or view generation. Dezyne 2.10 is the “core” of the Dezyne language. Its offers the essentials in terms…