Our initial focus is on improving the debugging experience. Runtime verification is not a top priority, when compared to static analysis and model checking, but it is certainly more important than, e.g., having a visual interface to generate launch files.
We should have a view for this, and we can probably adapt something from the HPL-RV repository.
The verification itself is going to happen in the back-end, of course, but perhaps the front-end can offer the option to load a logged run (e.g., rosbag) for the back-end to check?
Our initial focus is on improving the debugging experience. Runtime verification is not a top priority, when compared to static analysis and model checking, but it is certainly more important than, e.g., having a visual interface to generate launch files.
We should have a view for this, and we can probably adapt something from the HPL-RV repository.
The verification itself is going to happen in the back-end, of course, but perhaps the front-end can offer the option to load a logged run (e.g., rosbag) for the back-end to check?