Formal Specification
This post has 55 words. Reading it will take less than one minute.
GD Star Rating
loading...
loading...
It’s important to formally specify your protocol. Hence:
You can see it’s formal because I added a gratuitous sigma.
We implemented the protocol in two different tools, written in two different languages and after two minor tweaks, it worked. Thank you formal specification!
Formal Specification,Subscribe
If you enjoyed this article, subscribe to receive more just like it.
