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

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

Discussions and publications about using and applying Dezyne.

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

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

Identified issues and discussion.