FizzBee: Open-source formal methods tool that's not hard | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		FizzBee: Open-source formal methods tool that's not hard (fizzbee.io)
		2 points by jayaprabhakar on April 1, 2024 \| hide \| past \| favorite \| 1 comment

jayaprabhakar on April 1, 2024 [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact