Expired
Milestone
expired on Feb 17, 2022
1.1.0
- 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.
- Interact with Kratos for formal verification of state machine.
- Improved checker manager.
- Fixed Maven warnings.
All issues for this milestone are closed. You may close this milestone now.
Loading
Loading
Loading
Loading