Submissions from fizzbee.io

		Show HN: FizzBee – Formal Model based autonomous testing (fizzbee.io)
		15 points by jayaprabhakar 42 days ago \| past \| 6 comments
		Formal Methods Tutorials – FizzBee (fizzbee.io)
		6 points by isadubois 5 months ago \| past
		Show HN: Generate System Design diagrams from design spec (fizzbee.io)
		4 points by jayaprabhakar on Sept 4, 2024 \| past \| 2 comments
		Easy to Use Performance Modeling (fizzbee.io)
		1 point by todsacerdoti on May 22, 2024 \| past
		Publish testable code not pseudo code (fizzbee.io)
		1 point by jayaprabhakar on April 15, 2024 \| past \| 1 comment
		Show HN: FizzBee – Formal methods in Python (fizzbee.io)
		119 points by jayaprabhakar on April 2, 2024 \| past \| 23 comments
		FizzBee: Open-source formal methods tool that's not hard (fizzbee.io)
		2 points by jayaprabhakar on April 1, 2024 \| past \| 1 comment