FizzBee Specification Language

FizzBee 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 action generation.

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

References

This article "FizzBee Specification Language" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:FizzBee Specification Language. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.

📰 Article(s) of the same category(ies)

• György Tarr
• Lancashire hotpot
• Bill Smyth (broadcaster)
• Freshly Ground Entertainment
• The National Portrait Gallery Collects
• Thatsaphone Saysouk
• Filmfare Critics Award for Best Actor – Marathi

---