.. Or in a language designed for proof of correctness? See e.g. https://mitls.org/ https://mitls.org/ -- I think this is very important work. Imagine only deal

.. Or in a language designed for proof of correctness? See e.g. https://mitls.org/ https://mitls.org/ -- I think this is very important work. Imagine only dealing with bugs in the spec? Maybe one day, when all the hearts are finally bled, something like this will become the default unless and until you have a proven^1 unmet performance requirement, and only then after you've spoken to your lawyers. 1. Pun intended.