π-calculus, Session Types research at Imperial College
dingo-hunter is a static deadlock detection tool for the Go language.
The tool leverages session graph synthesis to detect potential deadlocks
and unsafe concurrency patterns in the source code.