ComingUp
Gallery
About
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 your coding agents to follow.When given a prompt, it - asks high signal follow-up questions - converts to formal spec and identifies complex requirements gaps - generates validation scenarioAt the end, it produces a specification document that can be shared with coding agents. In my trials on various projects, it produces working code in fewer iterations.Please give it a try and share your feedback. https://fizzbee.ai/You can also look at a sample project. https://fizzbee.ai/projects/94bf2869-97a1-445c-8f5d-4445848b...
Comments (6)
whos actually buying formal methods tools for requirements though
formal methods for requirements work is really underserved
formal methods for req eng is long overdue
yet another tool nobody asked for
formal methods sounds like a fancy word for bureaucracy
what formalism does the requirements engine use
Related Products
Free Currency Converter API
Limestone Digital
AI-Powered Software Development, Engineering Team Augmentation,
ChangeSpec
Free Mermaid Live Editor & Diagram Maker
MobileGym: A Verifiable and Highly Parallel Simulation Platform for Mobile GUI A
Universal Data Workbench
A thorough tool for cleaning, validating, and converting JSON, CSV, and more.