SPY: Verify your Scribbling
Runtime verification of Global Protocols Through Local Conformance
Here you can find some resources that will help you understand what the title means and how and why it is useful.
- The paper : here
- Some demo videas to get you started : here
- Codebase : tar
- Various presentations I have given on the topic : here