Edithistory:FizzBee Specification Language
From EverybodyWiki Bios & Wiki
| oldid | date/time | username | edit summary |
|---|---|---|---|
| 1230935199 | 2024-06-25T14:24:33Z | Gjs238 | |
| 1230935155 | 2024-06-25T14:24:13Z | Gjs238 | |
| 1230935023 | 2024-06-25T14:23:16Z | Gjs238 | +[[Category:Formal specification languages]]; +[[Category:Open source]] using [[WP:HC|HotCat]] |
| 1230889537 | 2024-06-25T07:58:18Z | Fram | Proposing article for deletion per [[WP:PROD]]. |
| 1230880857 | 2024-06-25T06:46:00Z | Iwaqarhashmi | Added {{[[Template:Uncategorized|Uncategorized]]}} tag |
| 1230862451 | 2024-06-25T03:37:35Z | Jayaprabhakar | |
| 1230862345 | 2024-06-25T03:36:36Z | Jayaprabhakar | [[WP:AES|←]]Created page with '[[FizzBee]]<ref>[https://fizzbee.io/ FizzBee Website], The home page of FizzBee documentation, tutorials and online playground.</ref> 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...' |
