A static verification framework for message passing in Go using behavioural types.

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida

Browse the full ICSE paper archive.