# Dezyne 2.18: Implicit Interface Constraints and Shared Interface State

**URL:** <https://forum.verum.com/t/dezyne-2-18-implicit-interface-constraints-and-shared-interface-state/112>\
**Category:** Publications\
**Created:** [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")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![Bird](https://dub1.discourse-cdn.com/flex017/user_avatar/forum.verum.com/bird/32/18_2.png) [@Bird](https://forum.verum.com/u/Bird)\
**Post date:** [January 18, 2024, 11:03am UTC](https://forum.verum.com/t/dezyne-2-18-implicit-interface-constraints-and-shared-interface-state/112/1 "2024-01-18T11:03:24Z")

</div>

> **[Dezyne 2.18: Implicit Interface Constraints and Shared Interface State](https://blog.fataldimensions.nl/posts/dezyne-shared-state/)**
>
> Introduction Dezyne is a domain specific language with code generation and verification tools developed by Verum. It is used to describe and verify event based systems using state machines. In this article I will introduce some basic concepts of...