Requirements Engineering with Formal Verification

Name: Requirements Engineering with Formal Verification
Availability: InStock
Author: jayaprabhakar

by jayaprabhakar·Jul 8, 2026·9 points·0 comments

Visit Project View on HN

AI Analysis

●●SolidBig BrainSolve My Problem

Formal verification catches requirement gaps before coding agents waste iterations.

Strengths

•Formal verification systematically uncovers contradictions before any code is written
•Built on years of open-source formal methods development, not just prompting
•Generates machine-readable specs for coding agents, not just human documents

Weaknesses

•Requirements engineering is crowded; unclear adoption path against established players
•Formal verification claims need more visible proof in the sample project

Post Description

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 scenario

At 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...