You Don’t Know Jack About Formal Verification (via eatonphil) — discussion

#formalmethods