eclipse
Eclipse
https://robostar.cs.york.ac.uk/robotool/assets/robotool.png
Sets the default perspective
RoboTool for Eclipse 2021-12.
RoboTool supports graphical modelling, validation, and automatic generation of mathematical definitions for proof of properties of RoboChart models. See <a href='https://robostar.cs.york.ac.uk/robotool'>robostar.cs.york.ac.uk/robotool</a>