RoboChart and RoboSim Verified Simulation for Robotics

Woodcock, J. (Invited speaker)

Computer Science

Activity: Talk or presentation › Invited talk

Description

Vision for producing automatically verified simulations of robotic control, hardware platforms, and environments.

Period	13 Jun 2019
Held at	Verification Futures Workshop, Winnersh Triangle, UK, United Kingdom
Degree of Recognition	National

Keywords

Robotics
RoboCalc
RoboChart
RoboSim
Simulation
Verification

Documents & Links

robochart-and-robosim-verification-futures-2019
File: application/pdf, 6.53 MB
Type: Text

Link to workshop web site.

Related content

Projects
A Calculus for Software Engineering of Mobile and Autonomous Robots
Project: Research project (funded) › Research
RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
Project: Research project (funded) › Research