Your .md File Is Not a Specification

Using Formal Analysis to Find Requirements Gaps