MobilityReadingGroup

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