Formally Verified Animation for RoboChart Using Interaction Trees

Kangfeng Ye^*, Simon Foster, Jim Woodcock

^*Corresponding author for this work

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Finished
1 Active

1 results

Filter

Active

RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
Cavalcanti, A. L. C., Timmis, J. & Woodcock, J.
EPSRC
1/04/18 → 31/08/24
Project: Research project (funded) › Research