B blog.fizzbee.ai .md File is not a specification: Using formal analysis to find requirements gaps 29 points jayaprabhakar 23 days ago 12 comments
