4 ms·
Another one I love on the same topic is Peter Gutmann's thesis on formal verification: http://www.cypherpunks.to/%7Epeter/04_verif_techniques.pdf http://www.cyp
by hwayne 9y ago
Another one I love on the same topic is Peter Gutmann's thesis on formal verification: http://www.cypherpunks.to/%7Epeter/04_verif_techniques.pdf http://www.cypherpunks.to/%7Epeter/04_verif_techniques.pdf