Maybe it's difficult for the average developer to write a formal specification, ...

		DennisP 1 day ago \| parent \| context \| favorite \| on: AI will make formal verification go mainstream Maybe it's difficult for the average developer to write a formal specification, but the point of the article is that an AI can do it for them.