{"id":"https://openalex.org/W7095178396","doi":null,"title":"The Next 10,000 BGP Gadgets: Lightweight Modeling for the Stable Paths Problem. Princeton COS598D course project report","display_name":"The Next 10,000 BGP Gadgets: Lightweight Modeling for the Stable Paths Problem. Princeton COS598D course project report","publication_year":null,"publication_date":null,"ids":{"openalex":"https://openalex.org/W7095178396"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.295.5878","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.5878","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.princeton.edu/courses/archive/spring10/cos598D/BGP-Stable-Path-Alloy.pdf","raw_type":"text"},"parent_works":[],"lineage":["https://openalex.org/W7095178396"],"child_works_count":0,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014721485","display_name":"Matvey Arye","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Matvey Arye","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Rob Harrison","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rob Harrison","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Richard Wang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Richard Wang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8227999806404114,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8227999806404114,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10138","display_name":"Network Traffic and Congestion Control","score":0.10769999772310257,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.007000000216066837,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/border-gateway-protocol","display_name":"BGP","score":0.9819999933242798},{"id":"https://openalex.org/keywords/interdomain-routing","display_name":"inter-domain routing","score":0.8640000224113464},{"id":"https://openalex.org/keywords/bgp-convergence","display_name":"BGP convergence","score":0.6389999985694885},{"id":"https://openalex.org/keywords/alloys","display_name":"alloys","score":0.6890000104904175},{"id":"https://openalex.org/keywords/counterexample","display_name":"counterexample","score":0.5429999828338623},{"id":"https://openalex.org/keywords/network-protocol-verification","display_name":"network protocol verification","score":0.6119999885559082}],"concepts":[{"id":"https://openalex.org/C178086212","wikidata":"https://www.wikidata.org/wiki/Q11155","display_name":"Border Gateway Protocol","level":5,"score":0.8953999876976013},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7545999884605408},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.6011999845504761},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.5853000283241272},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.583899974822998},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.5446000099182129},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5250999927520752},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5094000101089478},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4700999855995178},{"id":"https://openalex.org/C101396714","wikidata":"https://www.wikidata.org/wiki/Q3021187","display_name":"Default-free zone","level":5,"score":0.4399999976158142},{"id":"https://openalex.org/C128917274","wikidata":"https://www.wikidata.org/wiki/Q1666535","display_name":"Path vector protocol","level":5,"score":0.3912999927997589},{"id":"https://openalex.org/C52837422","wikidata":"https://www.wikidata.org/wiki/Q431028","display_name":"Interior gateway protocol","level":5,"score":0.3901999890804291},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.3878999948501587},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.3799000084400177},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.32030001282691956},{"id":"https://openalex.org/C187713609","wikidata":"https://www.wikidata.org/wiki/Q2465461","display_name":"Default gateway","level":2,"score":0.3068999946117401},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.29899999499320984},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.2890999913215637},{"id":"https://openalex.org/C9628104","wikidata":"https://www.wikidata.org/wiki/Q788009","display_name":"Autonomous system (mathematics)","level":2,"score":0.2840000092983246},{"id":"https://openalex.org/C2777552389","wikidata":"https://www.wikidata.org/wiki/Q1962728","display_name":"Course (navigation)","level":2,"score":0.27649998664855957},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.26489999890327454},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.2632000148296356}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.295.5878","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.5878","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.princeton.edu/courses/archive/spring10/cos598D/BGP-Stable-Path-Alloy.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7097005121","https://openalex.org/W1455159097","https://openalex.org/W2332729613","https://openalex.org/W4416600792","https://openalex.org/W2032633417","https://openalex.org/W2015137686","https://openalex.org/W7095326320","https://openalex.org/W2142065670","https://openalex.org/W7096284448","https://openalex.org/W2902141149"],"abstract_inverted_index":{"For":[0,71],"the":[1,5,11,21,24,112,121,128,141],"past":[2],"ten":[3],"years,":[4],"de":[6],"facto":[7],"interdomain":[8],"routing":[9],"protocol,":[10],"Border":[12],"Gateway":[13],"Protocol":[14,126],"(BGP),":[15],"has":[16],"been":[17,18,77],"studied":[19],"in":[20,40,99,140],"framework":[22],"of":[23,35,143,154,171],"Stable":[25,114,123],"Paths":[26,115],"Problem":[27,116],"(SPP).":[28],"The":[29],"SPP":[30],"approach":[31,162],"revealed":[32],"several":[33],"combinations":[34],"node":[36],"topologies":[37],"and":[38,89,108,119],"configurations":[39],"which":[41,60,84],"BGP":[42,58],"cannot":[43],"converge":[44,66],"to":[45,56,64,101,146,157,166],"a":[46,68,86,136,152],"stable":[47,69],"solution.":[48,70],"These":[49,131],"misbehaving":[50,105,172],"\u201cgadgets":[51],"\u201d":[52],"serve":[53,134],"as":[54,73,135,151],"counterexamples":[55],"desirable":[57],"behavior,":[59],"we":[61,163],"would":[62],"like":[63],"always":[65],"on":[67],"just":[72],"long,":[74],"researchers":[75],"have":[76],"manually":[78],"generating":[79],"these":[80,104],"gadgets":[81,106],"by":[82],"hand":[83],"is":[85],"labor":[87],"intensive":[88],"incomplete":[90],"process.":[91],"We":[92,110],"apply":[93],"two":[94,132,155],"different":[95],"lightweight":[96,144,158],"modeling":[97,145],"techniques":[98],"order":[100],"automatically":[102],"generate":[103,167],"quickly":[107],"completely.":[109],"model":[111],"static":[113],"using":[117,127],"Alloy":[118],"also":[120,150],"dynamic":[122],"Path":[124],"Vector":[125],"Promela/Spin":[129],"platform.":[130],"approaches":[133,156],"case":[137],"study":[138],"both":[139],"application":[142],"network":[147],"protocols,":[148],"but":[149],"comparison":[153],"modeling.":[159],"Using":[160],"our":[161],"were":[164],"able":[165],"over":[168],"10,000":[169],"instances":[170],"gadgets.":[173],"1":[174]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2025-10-27T00:00:00"}