.md File is not a specification: Using formal analysis to find requirements gaps

by jayaprabhakar | View on Hacker News