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.