3 citations · 3 across the 1 of their papers we have counts for
1 paper
Courtney Darville, Peter Höfner, Franc Ivankovic +1
We present two formal models for the OSPF routing protocol, designed for the model checker Uppaal. The first one is an optimised model of an existing model that allows to check lar…