search

viperproject / VerifiedSCION

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

Drop assumptions of `IsSupportedPkt` in `process` #363

Closed mlimbeck closed 2 months ago

mlimbeck commented 2 months ago

It establishes that a SCION pkt retains its status as a SCION pkt through the process() method.