New features and improvements:
- Cross-level contract refinement.
- Support for "timed" time model.
- Improved default user settings.
- Increased tests coverage.
- Used xText editors for textual areas.
- Defined AST for guards/effects on state machines.
- Improved generation and auto-layout of diagrams.
- Created default workspace for V&V analysis.
- Further formal verification of state machine.
- Improved checker manager.
- Fixed Maven warnings.
Release Date
Release Type
Minor release
| Name | Date | Description |
|---|---|---|
| 1.1.0 | 2022/02/18 |