← Latest products

FizzBee

Formal methods in Python. The easiest formal specification language and model checker for the full development cycle: requirements analysis, design verification, and model-based testing. GitHub: https://www.github.com/fizzbee-io/FizzBee Traditionally, formal methods are used only for highly mission critical systems to validate the software will work as expected before it's built.

Visit fizzbee.ioexternal site

Reactions (2)

Similar products

by description similarity

  1. Requirements Engineering with Formal Verification

    fizzbee.ai

    Every prompt leaves decisions unmade — and your agent will make them silently. FizzBee asks the questions your prompt didn't, then generates a precise, verified specification your coding agent can build from.

    Hacker News27 pts

  2. PEP 827

    peps.python.org

    TS-like type manipulation in Python

    Hacker News7 pts

  3. Katharos Functional programming and CSP-style concurrency for Python

    github.com

    A functional programming and concurrency library for Python: algebraic abstractions (Semigroups, Monoids, Functors, Applicatives, Monads), immutable data types, and message-passing concurrency, all designed as composable, type-safe values.

    Hacker News37 pts

  4. I got tired of print(x.shape) so I built runtime type hints for Python

    github.com

    let types trickle from runtime to compile time

    Hacker News7 pts

  5. Formalizing Principia Mathematica using Lean

    github.com

    Rewriting Principia Mathematica in Lean

    Hacker News188 pts