Login / Signup

Scalable verification of border gateway protocol configurations with an SMT solver.

Konstantin WeitzDoug WoosEmina TorlakMichael D. ErnstArvind KrishnamurthyZachary Tatlock
Published in: OOPSLA (2016)
Keyphrases
  • model checking
  • border gateway protocol
  • real time
  • ip networks