Set all yield to be a witness for liveness

fizzbee-io / fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

https://fizzbee.io

Apache License 2.0

150 stars 8 forks source link

Closed jp-fizzbee closed 6 months ago