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>