https://fizzbee.io/

[ ] [ ]
[bee-left-t] FizzBee
 

Find bugs before you code

FizzBee is a formal specification language and model checker to
specify distributed systems.

Get Started

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

Run in playground

 1 # Fizzbee model checker
 2 
 3 invariants:
 4   always value <= 3  # This statement is always true
 5   always eventually value == 0  # The value can be anything, but always come back to 0
 6   eventually always value >= 0  # The value will reach 0 eventually, and stay >= 0
 7 
 8 
 9 action Init:
10   value = -2
11 
12 
13 atomic fair action Add:
14   if value < 3:
15       value += 1
16   else:
17       value = 0

Built with Hugo and Privacy Policy
Back to top

Cookie settings

We use cookies to provide you with the best possible experience. They
also allow us to analyze user behavior in order to constantly improve
the website for you. Read our privacy policy here

Accept All Accept Selection Reject All
[*]Necessary [*]Analytics [*]Preferences [ ]Marketing