Formally Verified Animation for RoboChart Using Interaction Trees.

Kangfeng Ye, Simon Foster, Jim Woodcock

Browse the full ICFEM paper archive.