Category Topics

Announcements

Release updates and other announcements about and around Dezyne that we think will be useful to everyone.
2

Dezyne

All about the language (Dezyne), concepts and expressiveness. Includes links to documentation and tutorials.
5

Tooling

Discuss the tools for Dezyne. dzn (file format), browser, IDE (LSP, VS Code, Emacs and more).
0

Code Generation

Discuss the ins and outs of code generation. Supported languages. Language packs.
0

Verification

Discussion about verification in Dezyne using mCRL2, which identifies issues such as deadlocks, livelocks and interface violations.
0
2