FizzBee - discu.eu

Hacker News

Show HN: FizzBee – Formal methods in Python https://fizzbee.io/ 23 comments 2/4/2024

Lobsters

FizzBee -- Model checker in Python https://fizzbee.io/ 4 comments 5/4/2024 formalmethods

Linking pages

GitHub - fizzbee-io/fizzbee: Easiest formal specification language ever! Designed for distributed systems developers to be used for everyday applications. https://github.com/fizzbee-io/fizzbee 1 comment
Publish algorithms with testable code | FizzBee https://fizzbee.io/posts/pseudocode-modelchecking/ 1 comment

Related searches:

Search whole site: site:fizzbee.io

Search title: FizzBee

See how to search.

Submit link to: