|
|
|
|
|
|
by jayaprabhakar
688 days ago
|
|
|
https://FizzBee.io is not just a syntax transpiler, but a complete implementation. It uses starlark language (a Python variant) for specification.
In addition to behavioral modeling like TLA+, Quint etc, it supports probabilistic and performance modeling.
Generates state and sequence diagrams automatically. |
|
|