# Latest **URL:** https://forum.verum.com/latest.md [Latest](https://forum.verum.com/latest.md) · [Categories](https://forum.verum.com/categories.md) --- ## [Mixing declarative & imperative statements in behavioral blocks](https://forum.verum.com/t/mixing-declarative-imperative-statements-in-behavioral-blocks/1115)
**Author:** [@yigit.poyrazoglu](https://forum.verum.com/u/yigit.poyrazoglu)\ **Replies:** 5\ **Last updated:** [January 8, 2026, 1:05pm UTC](https://forum.verum.com/t/mixing-declarative-imperative-statements-in-behavioral-blocks/1115 "2026-01-08T13:05:53Z")
Hello, I’m currently working on a project involving source-to-source translation from a DSL (defined in C++) to Dezyne. I’m currently stuck at a point where the code I generate does not throw a syntax error but fail val… --- ## [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… --- ## [Onboarding 4: Handwritten components (a.k.a. glue)](https://forum.verum.com/t/onboarding-4-handwritten-components-a-k-a-glue/1113)
**Author:** [@miven](https://forum.verum.com/u/miven)\ **Replies:** 0\ **Last updated:** [June 20, 2025, 10:38am UTC](https://forum.verum.com/t/onboarding-4-handwritten-components-a-k-a-glue/1113 "2025-06-20T10:38:03Z")
On average, a software-controlled system consists out of 75 percent of decision logic, typically modelled with Dezyne. The remaining lines of code are handwritten and consists mostly of the project’s ordinary code, data … --- ## [Onboarding 3: Execution Semantics](https://forum.verum.com/t/onboarding-3-execution-semantics/1112)
**Author:** [@miven](https://forum.verum.com/u/miven)\ **Replies:** 0\ **Last updated:** [June 17, 2025, 2:42pm UTC](https://forum.verum.com/t/onboarding-3-execution-semantics/1112 "2025-06-17T14:42:48Z")
After introduction of the first two onboarding tutorials it is time to dive into the execution semantics of Dezyne. With execution semantics we mean how and in which order the events are being processed. Out of the box … --- ## [Onboarding 2: Synchronous versus Asynchronous](https://forum.verum.com/t/onboarding-2-synchronous-versus-asynchronous/1111)
**Author:** [@miven](https://forum.verum.com/u/miven)\ **Replies:** 0\ **Last updated:** [June 17, 2025, 12:26pm UTC](https://forum.verum.com/t/onboarding-2-synchronous-versus-asynchronous/1111 "2025-06-17T12:26:13Z")
Now you have been introduced to the interface, component and a system it is time to precisely distinct two types of communication between two components. Synchronous communication Basically, synchronous communication is… --- ## [Onboarding 1: Interface, Component and System](https://forum.verum.com/t/onboarding-1-interface-component-and-system/1110)
**Author:** [@miven](https://forum.verum.com/u/miven)\ **Replies:** 0\ **Last updated:** [June 17, 2025, 10:36am UTC](https://forum.verum.com/t/onboarding-1-interface-component-and-system/1110 "2025-06-17T10:36:52Z")
Interface, Component and System When starting to model with Dezyne, it is first essential to get acquainted with the following 3 types of models: Interface, Component and System. On the left side of the figure below a di… --- ## [Automatic Lights: A Complex System with One-Button Deployment](https://forum.verum.com/t/automatic-lights-a-complex-system-with-one-button-deployment/1104)
**Author:** [@karkob](https://forum.verum.com/u/karkob)\ **Replies:** 0\ **Last updated:** [December 5, 2024, 3:57pm UTC](https://forum.verum.com/t/automatic-lights-a-complex-system-with-one-button-deployment/1104 "2024-12-05T15:57:05Z")
A Complete Template for Professional Development in Verum Dezyne Hello everyone! :waving\_hand: If you’re new to Verum Dezyne and looking for a robust starting point, I’d like to share a complete Automatic High Beams Swi… --- ## [Reference manual: External multiple out events](https://forum.verum.com/t/reference-manual-external-multiple-out-events/1108)
**Author:** [@pvberkel](https://forum.verum.com/u/pvberkel)\ **Replies:** 4\ **Last updated:** [February 20, 2025, 12:59pm UTC](https://forum.verum.com/t/reference-manual-external-multiple-out-events/1108 "2025-02-20T12:59:56Z")
Hi, I tried to run the example models described in section 5.4 of the Reference manual but discovered that the verification of all models failed. Unfortunately I was not able to determine/understand if or why these erro… --- ## [Reference manual](https://forum.verum.com/t/reference-manual/1107)
**Author:** [@pvberkel](https://forum.verum.com/u/pvberkel)\ **Replies:** 2\ **Last updated:** [February 17, 2025, 6:29pm UTC](https://forum.verum.com/t/reference-manual/1107 "2025-02-17T18:29:31Z")
Hi, I am reading the reference manual \[link\] and tried to download the examples. The archive which is referenced in the document does, however no longer exist. See https://savannah.nongnu.org/cgit/dezyne.git/dezyne/tr… --- ## [Dezyne: Directly Connected Glue](https://forum.verum.com/t/dezyne-directly-connected-glue/117)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\ **Replies:** 0\ **Last updated:** [June 30, 2024, 3:29pm UTC](https://forum.verum.com/t/dezyne-directly-connected-glue/117 "2024-06-30T15:29:29Z")
--- ## [Dezyne: Implementing and Testing Components](https://forum.verum.com/t/dezyne-implementing-and-testing-components/116)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\ **Replies:** 0\ **Last updated:** [April 30, 2024, 6:36am UTC](https://forum.verum.com/t/dezyne-implementing-and-testing-components/116 "2024-04-30T06:36:37Z")
--- ## [Dezyne 2.18: Shared Interface States - much more than you think](https://forum.verum.com/t/dezyne-2-18-shared-interface-states-much-more-than-you-think/110)
**Author:** [@karkob](https://forum.verum.com/u/karkob)\ **Replies:** 0\ **Last updated:** [December 19, 2023, 1:53pm UTC](https://forum.verum.com/t/dezyne-2-18-shared-interface-states-much-more-than-you-think/110 "2023-12-19T13:53:37Z")
What do you mean by "Shared States"? So far, each port (interface instance) state observed in a component had to be duplicated in the component and rigorously tracked to ensure that the observed state had exactly the sam… --- ## [Dezyne: Creating Glue Code and Testing](https://forum.verum.com/t/dezyne-creating-glue-code-and-testing/114)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\ **Replies:** 0\ **Last updated:** [March 8, 2024, 7:39am UTC](https://forum.verum.com/t/dezyne-creating-glue-code-and-testing/114 "2024-03-08T07:39:56Z")
--- ## [Implementing the Dezyne model on the ESP32 chip](https://forum.verum.com/t/implementing-the-dezyne-model-on-the-esp32-chip/113)
**Author:** [@karkob](https://forum.verum.com/u/karkob)\ **Replies:** 0\ **Last updated:** [February 6, 2024, 1:03pm UTC](https://forum.verum.com/t/implementing-the-dezyne-model-on-the-esp32-chip/113 "2024-02-06T13:03:07Z")
Building a Smart Alarm System with Dezyne and ESP32 Learn how to use the Verum Dezyne model to create a simple yet fully functional alarm system on the ESP32 board using the Arduino Framework. This tutorial covers entire… --- ## [Dezyne 2.18: Implicit Interface Constraints and Shared Interface State](https://forum.verum.com/t/dezyne-2-18-implicit-interface-constraints-and-shared-interface-state/112)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\ **Replies:** 0\ **Last updated:** [January 18, 2024, 11:03am UTC](https://forum.verum.com/t/dezyne-2-18-implicit-interface-constraints-and-shared-interface-state/112 "2024-01-18T11:03:24Z")
--- ## [Dezyne: From dzn.async via Defer to Async](https://forum.verum.com/t/dezyne-from-dzn-async-via-defer-to-async/111)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\ **Replies:** 0\ **Last updated:** [January 18, 2024, 10:59am UTC](https://forum.verum.com/t/dezyne-from-dzn-async-via-defer-to-async/111 "2024-01-18T10:59:02Z")
--- ## ['C:/Program' is not recognized as an internal or external command](https://forum.verum.com/t/c-program-is-not-recognized-as-an-internal-or-external-command/108)
**Author:** [@karkob](https://forum.verum.com/u/karkob)\ **Replies:** 0\ **Last updated:** [July 10, 2023, 3:48pm UTC](https://forum.verum.com/t/c-program-is-not-recognized-as-an-internal-or-external-command/108 "2023-07-10T15:48:46Z")
After installing Dezyne at path with space you can encounter such a bug: No matter if Dezyne was added to PATH or not, Windows will still have problems running commands if path consists space. That’s why it is highly… --- ## [Windows IDE binary error](https://forum.verum.com/t/windows-ide-binary-error/103)
**Author:** [@dennisberg](https://forum.verum.com/u/dennisberg)\ **Replies:** 11\ **Last updated:** [February 6, 2023, 1:14pm UTC](https://forum.verum.com/t/windows-ide-binary-error/103 "2023-02-06T13:14:37Z")
Hello, I’m trying to follow the Dezyne Tutorial (using Dezyne 2.17.1, windows). When trying to start the daemon using ide hello or verify the LED example using ide verify \, I get the following error trace… --- ## [Dezyne 2.17 explained](https://forum.verum.com/t/dezyne-2-17-explained/101)
**Author:** [@karkob](https://forum.verum.com/u/karkob)\ **Replies:** 0\ **Last updated:** [February 1, 2023, 11:47am UTC](https://forum.verum.com/t/dezyne-2-17-explained/101 "2023-02-01T11:47:45Z")
This topic is a supplement to Dezyne YouTube tutorial: Scope of this video is to explain latest Dezyne 2.17 release. Using simple example we are introducing key language features Source code: 2\_17\_explain… --- ## [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… --- ## [Automatic high beams case study](https://forum.verum.com/t/automatic-high-beams-case-study/99)
**Author:** [@karkob](https://forum.verum.com/u/karkob)\ **Replies:** 0\ **Last updated:** [January 9, 2023, 9:29am UTC](https://forum.verum.com/t/automatic-high-beams-case-study/99 "2023-01-09T09:29:37Z")
This topic is a supplement to Dezyne YouTube tutorial: Scope of this video is to explain Dezyne basics and show how verification actively helps to develop bug-free code. This tutorial presents how we can us… --- ## [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 … --- ## [Using arguments in events](https://forum.verum.com/t/using-arguments-in-events/78)
**Author:** [@txinto](https://forum.verum.com/u/txinto)\ **Replies:** 5\ **Last updated:** [December 16, 2021, 8:21pm UTC](https://forum.verum.com/t/using-arguments-in-events/78 "2021-12-16T20:21:43Z")
Hi, in the example I see events defined as this: in void turnon(); in void turnoff(); Is it possible to define events this way? in void turn(bool on); I have a serial port which accepts commands. The commands ar… --- ## [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 open source](https://forum.verum.com/t/dezyne-open-source/72)
**Author:** [@KrisHoogendoorn](https://forum.verum.com/u/KrisHoogendoorn)\ **Replies:** 1\ **Last updated:** [November 10, 2021, 10:44am UTC](https://forum.verum.com/t/dezyne-open-source/72 "2021-11-10T10:44:18Z")
At the Software-Centric Systems Conference, Rutger announced that soon an open-source version of Dezyne would be released. Is there already a time frame for this release? I’m very much looking forward to this. I’m espec… --- ## [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 … --- ## [How to generate "skeleton" code?](https://forum.verum.com/t/how-to-generate-skeleton-code/47)
**Author:** [@SauravPaul](https://forum.verum.com/u/SauravPaul)\ **Replies:** 3\ **Last updated:** [June 3, 2021, 1:22pm UTC](https://forum.verum.com/t/how-to-generate-skeleton-code/47 "2021-06-03T13:22:46Z")
Hi, I remember in the old dezyne IDE, code generation generated skel\_.hh files for components without any behaviour. Can this be done using the dezyne command line? –help for the “dzn code” command gives the following: … --- ## [Dezyne: Paving the Way to Practical Formal Software Engineering](https://forum.verum.com/t/dezyne-paving-the-way-to-practical-formal-software-engineering/37)
**Author:** [@Pee](https://forum.verum.com/u/Pee)\ **Replies:** 0\ **Last updated:** [March 15, 2021, 3:11pm UTC](https://forum.verum.com/t/dezyne-paving-the-way-to-practical-formal-software-engineering/37 "2021-03-15T15:11:50Z")
Dezyne: Paving the Way to Practical Formal Software Engineering Abstract Designing software that controls industrial equipment is challenging, especially due to its inherent concurrent nature. Testing this kind of even… [Next page](https://forum.verum.com/latest.md?page=1)