# Categories

[Latest](https://forum.verum.com/latest.md) · [Categories](https://forum.verum.com/categories.md)

## [Announcements](https://forum.verum.com/c/announcements/5.md)

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

## [Tutorials](https://forum.verum.com/c/tutorials/13.md)

## [Dezyne](https://forum.verum.com/c/dezyne/6.md)

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

## [Publications](https://forum.verum.com/c/publications/11.md)

Discussions and publications about using and applying Dezyne.

## [Code Generation](https://forum.verum.com/c/code-generation/7.md)

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

## [Verification](https://forum.verum.com/c/verification/12.md)

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

## [Forum @ Verum](https://forum.verum.com/c/forum-by-verum/1.md)

## [Known Issues](https://forum.verum.com/c/known-issues/14.md)

Identified issues and discussion.