from
Hacker News
Top
New
FizzBee: Open-source formal methods tool that's not hard
by
jayaprabhakar
on 4/1/24, 3:41 PM with 1 comments
by
jayaprabhakar
on 4/1/24, 3:41 PM
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