LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

OtherEmerging

Stars

—

Forks

—

Contributors

4

Last push

19mo ago

Recent commits

Latest commits.

Do not stutter while processing a request. (#111)
9307339fizzbee19mo ago
Assign a stable request id (#110)
517a952fizzbee19mo ago
Set the name after forking (#108)
8ea290dfizzbee20mo ago
Use google/golang/protobuf package consistently (#107)
69ca63afizzbee20mo ago
Added Dockerfile and updated README for running FizzBee via Docker (#100)
09f21f30x180db20mo ago

First steps to CTL - exists assertion type (#103)

2b59739jayaprabhakar20mo ago

Allow the word enabled for liveness to enable liveness (#99)

7eee98bfizzbee21mo ago

supress stutter errors in simulation when deadlock is disabled (#98)

f74c839fizzbee21mo ago

Top contributors

Builders behind this project.