Author here. FizzBee is a model checker I’ve been building, with the goal of bringing formal methods to mainstream software engineering.
In this article, I take a requirements specification for a simple CRUD app, and show how writing the spec in a formal language helps catch requuirements conflicts as the product evolves.
2 comments
[ 0.22 ms ] story [ 23.5 ms ] threadIn this article, I take a requirements specification for a simple CRUD app, and show how writing the spec in a formal language helps catch requuirements conflicts as the product evolves.
Feedback welcome.