FizzBee: Open-source formal methods tool that's not hard (fizzbee.io) 2 points by jayaprabhakar 2y ago ↗ HN
[–] jayaprabhakar 2y ago ↗ 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
1 comment
[ 2.7 ms ] story [ 10.8 ms ] thread