FizzBee
GitHub Toggle Dark/Light/Auto mode Toggle Dark/Light/Auto mode Toggle Dark/Light/Auto mode Back to homepage
  2. /
  3. Tutorials
  4. /
  5. TLA+ vs FizzBee

TLA+ vs FizzBee

FizzBee is a multi-paradigm formal language. It supports a number of paradigms, including functional, procedural, and actor model. Folks familiar with TLA+ will find the functional style familiar and tend to make every action atomic. With that approach, FizzBee might appear to be just a syntactic sugar even though it is much more.

In this page, we will see the benefits of not exclusively relying on defining every action as atomic.

gdoc_arrow_left_alt Symmetry Reduction Probabilistic Modeling gdoc_arrow_right_alt