Category | Topics |
---|---|
AnnouncementsRelease updates and other announcements about and around Dezyne that we think will be useful to everyone.
|
9
|
4
|
|
DezyneAll about the language (Dezyne), concepts and expressiveness. Includes links to documentation and tutorials.
|
8
|
PublicationsDiscussions and publications about using and applying Dezyne.
|
5
|
Code GenerationDiscuss the ins and outs of code generation. Supported languages. Language packs.
|
1
|
VerificationDiscussion about verification in Dezyne using mCRL2, which identifies issues such as deadlocks, livelocks and interface violations.
|
0
|
5
|
|
Known IssuesIdentified issues and discussion.
|
2
|