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

Want to join the discussion? Log in or create an account.