This is a set of Eclipse plugin that provides a number of functionalities related to RoboCalc and RoboChart. In particular, RoboTool provides a graphical editor for RoboChart, support for static analysis (type checking and well-formedness conditions), and automatic generation of both untimed and timed semantics. The generated semantics can be used directly for model checking.
Original languageEnglish
Media of outputOnline
Publication statusPublished - 20 May 2016


  • robotics
  • IDE
  • DSL
  • code generation
  • formal semantics
  • refinement
  • CSP
  • timed CSP

Cite this