Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
150
stars
8
forks
source link
Some fixes: global action to role method call, return from role action #82
Closed
jp-fizzbee closed 1 month ago