External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Scalable verification of border gateway protocol configurations with an SMT solver

Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock. Scalable verification of border gateway protocol configurations with an SMT solver. In Eelco Visser, Yannis Smaragdakis, editors, Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016. pages 765-780, ACM, 2016. [doi]

Authors

Konstantin Weitz

This author has not been identified. Look up 'Konstantin Weitz' in Google

Doug Woos

This author has not been identified. Look up 'Doug Woos' in Google

Emina Torlak

This author has not been identified. Look up 'Emina Torlak' in Google

Michael D. Ernst

This author has not been identified. Look up 'Michael D. Ernst' in Google

Arvind Krishnamurthy

This author has not been identified. Look up 'Arvind Krishnamurthy' in Google

Zachary Tatlock

This author has not been identified. Look up 'Zachary Tatlock' in Google
runs on