Comment by aaaaaaaaaab

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