6 ms·

False. Writing a waterfall-style “spec” on paper has nothing to do with formal methods.

• gaius 8y ago
  It absolutely does. We studied SSADM in college.