2.0.0
Description
- Add "where" construct to express constraints on values of notifications and replies
- New notation for functional constraints of components, close to state machine of interface behavior
- Generate test client based on interface and component models
- Improve simulation to deal with changed language and both provided and required interfaces
- Improve visualisation of race conditions in model quality check
Conforms To UI/UX Guidelines
Not verified