Commit 634d822

committed

Formalize Authoritative RA in terms of RA from the standard lib

1 parent dfbb562 commit 634d822Copy full SHA for 634d822

7 files changed

+1088

-9

lines changed

router
- dataplane_concurrency_model.gobra
verification/utils/resalgebra

7 files changed

+1088

-9

lines changed

Comments

(0)