FizzBee: Open-source formal methods tool that's not hardfizzbee.io 2 pointsjayaprabhakar2 years ago1 commentSaveHideCopy link On HNComments−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