# FizzBee

> Easiest-ever formal methods language!

The easiest formal specification language and model checker for the full development cycle: requirements analysis, design verification, and model-based testing.

## Facts
- Website: https://fizzbee.io
- Made by: fizzbee-io
- Category: Developer tools
- Licence: Apache-2.0
- GitHub: https://github.com/fizzbee-io/fizzbee (372 stars)
- Stage: Live

Listing page: https://launchwoo.com/p/fizzbee
Listed on LaunchWoo, a directory of AI apps, developer tools and AI devices: https://launchwoo.com/launches