Home › Entities › doctoral_thesis › Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers

Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers

doctoral thesis by Konstantin Weitz, Computer Science & Engineering, University of Washington, 2017
Place doctoral_thesis Q113668354
Press Enter · cited answer in seconds

Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers

Summary

Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers is a doctoral thesis[1].

Key Facts

  • Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers authored Konstantin Weitz[2].
  • Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers's instance of is recorded as doctoral thesis[3].
  • Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers's OCLC number is recorded as 989737365[4].
  • Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers's language of work or name is recorded as English[5].
  • +2017-00-00T00:00:00Z marks the founding of Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers[6].
  • Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers's work available at URL is recorded as http://hdl.handle.net/1773/38605[7].
  • Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers's number of pages is recorded as {'unit': 'http://www.wikidata.org/entity/Q56761382', 'amount': '+98'}[8].
  • Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers's Handle ID is recorded as 1773/38605[9].
  • Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers's title is recorded as Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers[10].
  • Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers's thesis submitted to is recorded as University of Washington[11].
  • Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers's on focus list of Wikimedia project is recorded as WikiProject PCC Wikidata Pilot/University of Washington[12].
  • Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers's thesis committee member is recorded as Michael D. Ernst[13].
  • Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers's thesis committee member is recorded as Zachary Tatlock[14].

Body

Designation and Status

Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers's instance of is recorded as doctoral thesis[3].

History and Context

+2017-00-00T00:00:00Z marks the founding of Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers[6].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [3] ↑ . WorldCat. Retrieved . wikidata.org.
  2. [2] ↑ . WorldCat. Retrieved . wikidata.org.
  3. [4] ↑ . WorldCat. Retrieved . wikidata.org.
  4. [5] ↑ . WorldCat. Retrieved . wikidata.org.
  5. [6] ↑ . WorldCat. Retrieved . wikidata.org.
  6. [7] ↑ . WorldCat. Retrieved . wikidata.org.
  7. [8] ↑ . WorldCat. Retrieved . wikidata.org.
  8. [9] ↑ . WorldCat. Retrieved . wikidata.org.
  9. [10] ↑ . WorldCat. Retrieved . wikidata.org.
  10. [11] ↑ . WorldCat. Retrieved . wikidata.org.
  11. [12] ↑ . wikidata.org.
  12. [13] ↑ . WorldCat. Retrieved . wikidata.org.
  13. [14] ↑ . WorldCat. Retrieved . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers. Retrieved May 3, 2026, from https://4ort.xyz/entity/formal-semantics-and-scalable-verification-for-the-border-gateway-protocol-using-proof-assistants-and-smt-solvers
MLA “Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers.” 4ort.xyz Knowledge Graph, 4ort.xyz, 3 May. 2026, https://4ort.xyz/entity/formal-semantics-and-scalable-verification-for-the-border-gateway-protocol-using-proof-assistants-and-smt-solvers.
BibTeX @misc{4ortxyz_formal-semantics-and-scalable-verification-for-the-border-gateway-protocol-using-proof-assistants-and-smt-solvers_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers}}, year = {2026}, url = {https://4ort.xyz/entity/formal-semantics-and-scalable-verification-for-the-border-gateway-protocol-using-proof-assistants-and-smt-solvers}, note = {Accessed: 2026-05-03}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Formal Semantics and Scalable Verification for the Border Gateway Protocol Using Proof Assistants and Smt Solvers — https://4ort.xyz/entity/formal-semantics-and-scalable-verification-for-the-border-gateway-protocol-using-proof-assistants-and-smt-solvers (retrieved 2026-05-03)

Canonical URL: https://4ort.xyz/entity/formal-semantics-and-scalable-verification-for-the-border-gateway-protocol-using-proof-assistants-and-smt-solvers · Last refreshed: