Revisiting an early critique of formal verification (via hwayne) — discussion
#formalmethods #historical
