FizzBee Specification Language

FizzBee[1] is an open-source formal specification language used to model concurrent and distributed system design, using a python-like specification language. FizzBee is based on Linear temporal logic for property specification and uses Logic of Actions for actions generation.

In addition to behavioral model checking like TLA+ and Alloy, FizzBee also supports probabilistic model checking like PRISM.

References
  1. FizzBee Website, The home page of FizzBee documentation, tutorials and online playground.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.