Verifying the SCION architecture using Gobra - View it on GitHub