By the same authors


Research output: Non-textual formSoftware



Publication details

DatePublished - 20 May 2016
Media of outputOnline
Original languageEnglish


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.

    Research areas

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

Research outputs


Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations