search

viperproject / VerifiedSCION

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

Strengthen `parsePath` and drop two temporary assumptions related to SCION issues #364

Closed jcp19 closed 3 months ago

jcp19 commented 4 months ago

Based on https://github.com/scionproto/scion/pull/4556