Per a feature being mulled (or maybe even implemented) in the robochart assertions language world: it'd be nice to have a high-level 'RoboSim module S refines RoboChart module C' assertion, which handles any renaming and other transformations necessary.
Per a feature being mulled (or maybe even implemented) in the robochart assertions language world: it'd be nice to have a high-level 'RoboSim module S refines RoboChart module C' assertion, which handles any renaming and other transformations necessary.