Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
150
stars
8
forks
source link
If max_actions is reached on a node, don't report deadlock #97
Closed
jp-fizzbee closed 3 weeks ago