π-calculus, Session Types research at Imperial College
Godel Checker
Go model checker for MiGo types
godel-checker is a model checker for MiGo types, and uses the output of the
MiGo type extractor gospal.
This tool is part of the Go static verification framework described in this work.