FizzBee: Open-source formal methods tool that's not hard (opens in new tab)

(fizzbee.io)

2 pointsjayaprabhakar2y ago1 comments

1 comments

1 comments · 1 top-level

Formal methods like TLA+ use complicated language making it unsuitable for everyday distributed applications most developed build. FizzBee is a formal language that's almost just Python. https://github.com/fizzbee-io/fizzbee

j / k navigate · click thread line to collapse