Formal Specification

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!

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.