search

viperproject / VerifiedSCION

Verifying the SCION architecture using Gobra
Apache License 2.0
10 stars 2 forks source link

Simplify specs of decodeLayers #362

Open jcp19 opened 2 months ago