Formally Verified Animation for RoboChart using Interaction Trees

Kangfeng Ye, Simon Foster, Jim Woodcock
January, 2023
Cite arXiv