Geeks
viperproject
/
VerifiedSCION
Verifying the SCION architecture using Gobra
Primary Language
Go
Apache License 2.0
Apache-2.0
VerifiedSCION GitHub
Markdown
Readme
65
Issues
10
Stargazers
6
Watchers
Stargazers
ahuoguo
Tufts University
Dspil
ETH
jcp19
ETH Zurich
koflin
@cbdev-ch
kokrui
Singapore
mlimbeck
nicorusti
@scionassociation
PSS1998
SevDan