Next: Dezyne Language Reference, Previous: Code Integration, Up: Top [Contents][Index]
• Invoking dzn | Running Dezyne commands. | |
• Invoking dzn code | Generating code from a Dezyne file. | |
• Invoking dzn graph | Generating graphs of Dezyne models. | |
• Invoking dzn hello | A simple sanity check. | |
• Invoking dzn language | Lookup and completion. | |
• Invoking dzn lts | Manipulate and query an LTS. | |
• Invoking dzn parse | Checking the syntax of Dezyne file. | |
• Invoking dzn simulate | Simulating Dezyne models. | |
• Invoking dzn trace | Transform verify, code, and simulate traces. | |
• Invoking dzn traces | Generate a set of traces. | |
• Invoking dzn verify | Verifying Dezyne models. | |