/VerifiedSCION

Verifying the SCION architecture using Gobra

Primary LanguageGoApache License 2.0Apache-2.0

Watchers