search

viperproject / VerifiedSCION

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

change triggers in absPktWidenLemma #330

Closed Dspil closed 5 months ago