github.com/y-taka-23/ddsv-go (go): A toy deadlock detector written in Go. 🔍
Keywords: automaton|deadlock|formal-methods|formal-verification|go|golang|graphviz|model-checking|state-machine