Formal Methods Application: An Empirical Tale of Software Development [pdf] | Hacker News Reader