Comment on FizzBee: Open-source formal methods tool that's not hardComments−jayaprabhakarOP2yFormal 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
Comments
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