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

#formalmethods #historical