3 ms·A counterpoint to de Millo, Lipton, and Perlis [bashing software verification]2 points by zyla666 11y ago