Note that Guttman was also one of the people who gave formal, methods people a reality check: https://web.archive.org/web/20170214231046/http://www.cypherpunks

Note that Guttman was also one of the people who gave formal, methods people a reality check: https://web.archive.org/web/20170214231046/http://www.cypherpunks.to/~peter/04_verif_techniques.pdf https://web.archive.org/web/20170214231046/http://www.cypher... His work taught me to watch out for such problems. Plus, keep a mix of formal and empirical methods on any given project so they cross-check each other.