3 ms·
FizzBee: Open-source formal methods tool that's not hard
- jayaprabhakar 3y agoFormal 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 https://github.com/fizzbee-io/fizzbee