Compiler-plugin for protocol verification

Thanks for the info.

Is the DSL only going to work with runtime checks then? Or can it also permit compile time checking?