About
The easiest formal specification language and model checker for the full development cycle: requirements analysis, design verification, and model-based testing.
- Made by
- fizzbee-io
- Category
- Developer tools
- Built
- Open source
- Stage
- Live
- Licence
- Apache-2.0
- GitHub
- ★ 372 · updated 6d ago
Curated by LaunchWoo
We added this from the product's public website. Is it yours? Claim it to edit the listing, set your launch date or remove it.
For the maker
Planning your next launch?
LaunchWoo lines up 10–15 small creators who fit your product to post about it in the same window on launch day. You approve every deal, and the agent checks every post and tracks every payment.