search

viperproject / VerifiedSCION

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

Drop IO-assumptions in processOHP #369

Closed mlimbeck closed 3 months ago