# Dezyne
**URL:** https://forum.verum.com/c/dezyne/6.md
[Latest](https://forum.verum.com/latest.md) · [Categories](https://forum.verum.com/categories.md)
---
## [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…
---
## [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…
---
## [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…
---
## [404 error on tutorial](https://forum.verum.com/t/404-error-on-tutorial/42)
**Author:** [@barkro](https://forum.verum.com/u/barkro)\
**Replies:** 2\
**Last updated:** [April 28, 2021, 4:59pm UTC](https://forum.verum.com/t/404-error-on-tutorial/42 "2021-04-28T16:59:10Z")
Hi Verum team, I get a 404 error when trying to access the GPG signature (https://doc.verum.com/download/dezyne-ide/dezyne-ide-2.12.0-x86\_64-linux.tar.gz.sig). Thought this would be interesting for you to know. Cheers …
---
## [Video Example - Solar Team Eindhoven](https://forum.verum.com/t/video-example-solar-team-eindhoven/39)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\
**Replies:** 0\
**Last updated:** [March 22, 2021, 8:14am UTC](https://forum.verum.com/t/video-example-solar-team-eindhoven/39 "2021-03-22T08:14:41Z")
This video provides an inside how Dezyne helped to develop an automatic parking system for Solar Team Eindhoven. Video
---
## [Positioning Dezyne versus Matlab/ Simulink](https://forum.verum.com/t/positioning-dezyne-versus-matlab-simulink/38)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\
**Replies:** 0\
**Last updated:** [March 17, 2021, 2:28pm UTC](https://forum.verum.com/t/positioning-dezyne-versus-matlab-simulink/38 "2021-03-17T14:28:12Z")
A table comparing the tools: Comparing the levels in which the tools typically are applied:
---
## [Dezyne Tutorial](https://forum.verum.com/t/dezyne-tutorial/31)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\
**Replies:** 0\
**Last updated:** [March 3, 2021, 1:32pm UTC](https://forum.verum.com/t/dezyne-tutorial/31 "2021-03-03T13:32:49Z")
Dezyne Tutorial HTML, with one page per node HTML, as one big page PDF
---
## [Dezyne Documentation](https://forum.verum.com/t/dezyne-documentation/30)
**Author:** [@Bird](https://forum.verum.com/u/Bird)\
**Replies:** 0\
**Last updated:** [March 3, 2021, 1:29pm UTC](https://forum.verum.com/t/dezyne-documentation/30 "2021-03-03T13:29:59Z")
Dezyne Reference Manual HTML, with one page per node HTML, as one big page PDF Dezyne IDE Manual HTML, with one page per node HTML, as one big page PDF