π-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.

Related publications