Requirements Engineering with Formal Verification
By jayaprabhakar · Show HN
I've been building an open source formal methods system (fizzbee.io) for the past few years.Today I'm launching a new app built on the same technology. It performs requirements engineering using formal verification to uncover gaps and produce precise instructions for yo