Why protocol specifications don’t always work By Jane Yen on 10 Nov 2022 Guest Post: A semi-automatic tool for disambiguating RFCs and generating code.