Find bugs before you code
FizzBee is a formal specification language and model checker to specify distributed systems.
Exhaustive model checking
Explore all possible behaviors and exhaustive set of complex interactions and verify the system does what you think it does.
Easiest specification language
FizzBee uses Python-like language, using imperative style. You can be productive in minutes.
Performance modeling
FizzBee comes with probabilistic model checker for modeling performance characteristics like expected of latency, throughput, availability SLAs.
Try Fizz
Read the quick start guide to learn how to write your first FizzBee model or comb through the examples or tinker with the FizzBee online playground
Run in playground
|
|