GitHub repository: mlimbeck/VerifiedSCION
Primary language: Go
Description: Verifying the SCION architecture using Gobra