Category Topics

Announcements

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

Dezyne

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

Publications

Discussions and publications about using and applying Dezyne.
5

Code Generation

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

Verification

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

Known Issues

Identified issues and discussion.
2