it can tell you if your spec is bad, but it can't tell you if your spec is good

		MattHeard 2 days ago \| parent \| context \| favorite \| on: AI will make formal verification go mainstream it can tell you if your spec is bad, but it can't tell you if your spec is good