FizzBee Specification Language
It is proposed that this article be deleted because of the following concern:
If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it. The article may be deleted if this message remains in place for seven days, i.e., after 07:58, 2 July 2024 (UTC). Find sources: "FizzBee Specification Language" – news · newspapers · books · scholar · JSTOR |
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[edit]
- ^ FizzBee Website, The home page of FizzBee documentation, tutorials and online playground.