False. Writing a waterfall-style “spec” on paper has nothing to do with formal m... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		aaaaaaaaaab on Jan 22, 2019 \| parent \| context \| favorite \| on: Why Don't People Use Formal Methods? False. Writing a waterfall-style “spec” on paper has nothing to do with formal methods.

gaius on Jan 22, 2019 [–]

It absolutely does. We studied SSADM in college.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact