By the same authors

RoboTool

Research output: Non-textual formSoftware

Author(s)

Department/unit(s)

Publication details

DatePublished - 20 May 2016
Media of outputOnline
Original languageEnglish

Abstract

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

Projects

Discover related content

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

View graph of relations