{"id":"https://openalex.org/W2889227506","doi":"https://doi.org/10.1109/comst.2018.2868050","title":"A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges","display_name":"A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges","publication_year":2018,"publication_date":"2018-08-31","ids":{"openalex":"https://openalex.org/W2889227506","doi":"https://doi.org/10.1109/comst.2018.2868050","mag":"2889227506"},"language":"en","primary_location":{"id":"doi:10.1109/comst.2018.2868050","is_oa":true,"landing_page_url":"https://doi.org/10.1109/comst.2018.2868050","pdf_url":"https://ieeexplore.ieee.org/ielx7/9739/8649699/08453007.pdf","source":{"id":"https://openalex.org/S23688054","display_name":"IEEE Communications Surveys & Tutorials","issn_l":"1553-877X","issn":["1553-877X","2373-745X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Communications Surveys & Tutorials","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://ieeexplore.ieee.org/ielx7/9739/8649699/08453007.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100445687","display_name":"Yahui Li","orcid":"https://orcid.org/0000-0002-7094-4053"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yahui Li","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100446843","display_name":"Xia Yin","orcid":"https://orcid.org/0000-0001-9784-8742"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xia Yin","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100343127","display_name":"Zhiliang Wang","orcid":"https://orcid.org/0000-0001-6587-820X"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiliang Wang","raw_affiliation_strings":["Institute for Network Sciences and Cyberspace, Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute for Network Sciences and Cyberspace, Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064572677","display_name":"Jiangyuan Yao","orcid":"https://orcid.org/0000-0001-6337-0728"},"institutions":[{"id":"https://openalex.org/I20942203","display_name":"Hainan University","ror":"https://ror.org/03q648j11","country_code":"CN","type":"education","lineage":["https://openalex.org/I20942203"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiangyuan Yao","raw_affiliation_strings":["College of Information Science and Technology, Hainan University, Haikou, China"],"affiliations":[{"raw_affiliation_string":"College of Information Science and Technology, Hainan University, Haikou, China","institution_ids":["https://openalex.org/I20942203"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047888843","display_name":"Xingang Shi","orcid":"https://orcid.org/0000-0001-6487-9526"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xingang Shi","raw_affiliation_strings":["Institute for Network Sciences and Cyberspace, Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute for Network Sciences and Cyberspace, Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100599435","display_name":"Jian Wu","orcid":"https://orcid.org/0000-0002-3394-1507"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianping Wu","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100399382","display_name":"Han Zhang","orcid":"https://orcid.org/0000-0003-4429-9959"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Han Zhang","raw_affiliation_strings":["School of Cyber Science and Technology, Beihang University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Cyber Science and Technology, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100434820","display_name":"Qing Wang","orcid":"https://orcid.org/0000-0002-2618-5694"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qing Wang","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5100445687"],"corresponding_institution_ids":["https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":7.9571,"has_fulltext":true,"cited_by_count":54,"citation_normalized_percentile":{"value":0.97935458,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"21","issue":"1","first_page":"940","last_page":"969"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.8356431126594543},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5770005583763123},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5620757937431335},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5127671360969543},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.5113015174865723},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4641806483268738},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4638274908065796},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.4108269214630127},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23716607689857483},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.21211135387420654}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8356431126594543},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5770005583763123},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5620757937431335},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5127671360969543},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5113015174865723},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4641806483268738},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4638274908065796},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.4108269214630127},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23716607689857483},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.21211135387420654},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/comst.2018.2868050","is_oa":true,"landing_page_url":"https://doi.org/10.1109/comst.2018.2868050","pdf_url":"https://ieeexplore.ieee.org/ielx7/9739/8649699/08453007.pdf","source":{"id":"https://openalex.org/S23688054","display_name":"IEEE Communications Surveys & Tutorials","issn_l":"1553-877X","issn":["1553-877X","2373-745X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Communications Surveys & Tutorials","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1109/comst.2018.2868050","is_oa":true,"landing_page_url":"https://doi.org/10.1109/comst.2018.2868050","pdf_url":"https://ieeexplore.ieee.org/ielx7/9739/8649699/08453007.pdf","source":{"id":"https://openalex.org/S23688054","display_name":"IEEE Communications Surveys & Tutorials","issn_l":"1553-877X","issn":["1553-877X","2373-745X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Communications Surveys & Tutorials","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4000000059604645,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G1611251414","display_name":null,"funder_award_id":"61402253","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4243412236","display_name":null,"funder_award_id":"863 Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4713543433","display_name":null,"funder_award_id":"61402","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335773","display_name":"National High-tech Research and Development Program","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2889227506.pdf","grobid_xml":"https://content.openalex.org/works/W2889227506.grobid-xml"},"referenced_works_count":221,"referenced_works":["https://openalex.org/W72463235","https://openalex.org/W85890223","https://openalex.org/W147543026","https://openalex.org/W158224344","https://openalex.org/W168478060","https://openalex.org/W207759855","https://openalex.org/W223955670","https://openalex.org/W953200356","https://openalex.org/W1249296113","https://openalex.org/W1408671314","https://openalex.org/W1449038650","https://openalex.org/W1461485317","https://openalex.org/W1480909796","https://openalex.org/W1481397690","https://openalex.org/W1489391022","https://openalex.org/W1498432697","https://openalex.org/W1499167474","https://openalex.org/W1499179478","https://openalex.org/W1499901113","https://openalex.org/W1503170978","https://openalex.org/W1519503479","https://openalex.org/W1537567235","https://openalex.org/W1548312885","https://openalex.org/W1549449731","https://openalex.org/W1565996669","https://openalex.org/W1577525693","https://openalex.org/W1590488181","https://openalex.org/W1612453857","https://openalex.org/W1637524539","https://openalex.org/W1675033504","https://openalex.org/W1697123834","https://openalex.org/W1710734607","https://openalex.org/W1787074469","https://openalex.org/W1819209966","https://openalex.org/W1862398452","https://openalex.org/W1882012874","https://openalex.org/W1895387792","https://openalex.org/W1903445364","https://openalex.org/W1903979221","https://openalex.org/W1937741266","https://openalex.org/W1965705785","https://openalex.org/W1971962972","https://openalex.org/W1972121713","https://openalex.org/W1973788119","https://openalex.org/W1976430953","https://openalex.org/W1983362322","https://openalex.org/W1990249073","https://openalex.org/W1990603932","https://openalex.org/W1999396796","https://openalex.org/W2000947342","https://openalex.org/W2001859357","https://openalex.org/W2004929506","https://openalex.org/W2005129294","https://openalex.org/W2007111180","https://openalex.org/W2015688007","https://openalex.org/W2020999394","https://openalex.org/W2022758041","https://openalex.org/W2023665096","https://openalex.org/W2028289971","https://openalex.org/W2033181023","https://openalex.org/W2033498067","https://openalex.org/W2033871392","https://openalex.org/W2040340473","https://openalex.org/W2042033151","https://openalex.org/W2044107621","https://openalex.org/W2047553334","https://openalex.org/W2051714560","https://openalex.org/W2054075353","https://openalex.org/W2057136659","https://openalex.org/W2057361103","https://openalex.org/W2061438988","https://openalex.org/W2064322639","https://openalex.org/W2068407543","https://openalex.org/W2070726469","https://openalex.org/W2077688755","https://openalex.org/W2078988604","https://openalex.org/W2080267935","https://openalex.org/W2087968523","https://openalex.org/W2093089874","https://openalex.org/W2098813835","https://openalex.org/W2099204735","https://openalex.org/W2099225046","https://openalex.org/W2101508170","https://openalex.org/W2101512909","https://openalex.org/W2102380292","https://openalex.org/W2105589190","https://openalex.org/W2106192381","https://openalex.org/W2107147876","https://openalex.org/W2110311336","https://openalex.org/W2111162920","https://openalex.org/W2111828771","https://openalex.org/W2112867573","https://openalex.org/W2113230746","https://openalex.org/W2115309705","https://openalex.org/W2115526539","https://openalex.org/W2115716046","https://openalex.org/W2116995348","https://openalex.org/W2117189826","https://openalex.org/W2120255160","https://openalex.org/W2121377846","https://openalex.org/W2122410182","https://openalex.org/W2122695394","https://openalex.org/W2123267559","https://openalex.org/W2123372830","https://openalex.org/W2124051641","https://openalex.org/W2124430419","https://openalex.org/W2125560635","https://openalex.org/W2128079637","https://openalex.org/W2130210899","https://openalex.org/W2133576332","https://openalex.org/W2133819357","https://openalex.org/W2136310957","https://openalex.org/W2136451165","https://openalex.org/W2137351629","https://openalex.org/W2138230945","https://openalex.org/W2138556012","https://openalex.org/W2140073547","https://openalex.org/W2142065670","https://openalex.org/W2145721479","https://openalex.org/W2146077028","https://openalex.org/W2147118406","https://openalex.org/W2147236343","https://openalex.org/W2147556214","https://openalex.org/W2148994573","https://openalex.org/W2149236835","https://openalex.org/W2150712089","https://openalex.org/W2150990363","https://openalex.org/W2152254232","https://openalex.org/W2153250748","https://openalex.org/W2155216527","https://openalex.org/W2156639545","https://openalex.org/W2158395308","https://openalex.org/W2158651374","https://openalex.org/W2160883697","https://openalex.org/W2161237005","https://openalex.org/W2162360270","https://openalex.org/W2168618039","https://openalex.org/W2169870841","https://openalex.org/W2175049251","https://openalex.org/W2180601376","https://openalex.org/W2188073520","https://openalex.org/W2212290806","https://openalex.org/W2238528727","https://openalex.org/W2278179621","https://openalex.org/W2292214141","https://openalex.org/W2294333398","https://openalex.org/W2308109111","https://openalex.org/W2330747214","https://openalex.org/W2339906640","https://openalex.org/W2396555304","https://openalex.org/W2408119291","https://openalex.org/W2465388983","https://openalex.org/W2466231594","https://openalex.org/W2468070113","https://openalex.org/W2472616939","https://openalex.org/W2485543941","https://openalex.org/W2491693446","https://openalex.org/W2499399377","https://openalex.org/W2500758310","https://openalex.org/W2547314365","https://openalex.org/W2577367366","https://openalex.org/W2594119292","https://openalex.org/W2612336448","https://openalex.org/W2623293810","https://openalex.org/W2742515467","https://openalex.org/W2763317416","https://openalex.org/W2768411980","https://openalex.org/W2769975658","https://openalex.org/W2963885243","https://openalex.org/W2998259759","https://openalex.org/W3088995944","https://openalex.org/W3100402266","https://openalex.org/W3163704073","https://openalex.org/W4214931874","https://openalex.org/W4231640108","https://openalex.org/W4233458882","https://openalex.org/W4235785239","https://openalex.org/W4252846586","https://openalex.org/W4253647837","https://openalex.org/W4255907350","https://openalex.org/W4285719527","https://openalex.org/W4294339610","https://openalex.org/W4298236051","https://openalex.org/W6602910062","https://openalex.org/W6603450653","https://openalex.org/W6606536520","https://openalex.org/W6606841010","https://openalex.org/W6608486618","https://openalex.org/W6608795393","https://openalex.org/W6625013600","https://openalex.org/W6627884483","https://openalex.org/W6628268946","https://openalex.org/W6628489088","https://openalex.org/W6628618980","https://openalex.org/W6628836516","https://openalex.org/W6629841486","https://openalex.org/W6632026611","https://openalex.org/W6634541221","https://openalex.org/W6635205284","https://openalex.org/W6636501790","https://openalex.org/W6637389031","https://openalex.org/W6637688222","https://openalex.org/W6639592347","https://openalex.org/W6662263619","https://openalex.org/W6664072704","https://openalex.org/W6678385351","https://openalex.org/W6683354071","https://openalex.org/W6684785597","https://openalex.org/W6684993335","https://openalex.org/W6685169134","https://openalex.org/W6686667945","https://openalex.org/W6689867099","https://openalex.org/W6695026834","https://openalex.org/W6696802702","https://openalex.org/W6698042110","https://openalex.org/W6714182509","https://openalex.org/W6719609709","https://openalex.org/W6719622580","https://openalex.org/W6720663520","https://openalex.org/W6732171612","https://openalex.org/W6734470941"],"related_works":["https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W2152752131","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2145025660","https://openalex.org/W1994222400","https://openalex.org/W2391979747","https://openalex.org/W61995002"],"abstract_inverted_index":{"Networks":[0],"have":[1,59],"grown":[2],"increasingly":[3],"complicated.":[4],"Violations":[5],"of":[6,94,155],"intended":[7],"policies":[8,23],"can":[9],"compromise":[10],"network":[11,14,33,78],"availability":[12],"and":[13,35,44,57,72,88,111,127,139,152],"reliability.":[15],"Network":[16],"operators":[17,64],"need":[18],"to":[19,40,55,62],"ensure":[20],"that":[21,37],"their":[22,47],"are":[24],"correctly":[25],"implemented.":[26],"This":[27,143],"has":[28,80],"inspired":[29],"a":[30,117,121,153],"research":[31,157],"field,":[32],"verification":[34,56,79],"testing,":[36],"enables":[38],"users":[39],"automatically":[41],"detect":[42],"bugs":[43],"systematically":[45],"reason":[46],"network.":[48],"Furthermore,":[49],"techniques":[50],"ranging":[51],"from":[52,149],"formal":[53,105],"modeling":[54],"testing":[58,138],"been":[60],"applied":[61],"help":[63],"build":[65],"reliable":[66],"systems":[67],"in":[68,85],"electronic":[69],"design":[70],"automation":[71],"software.":[73],"Inspired":[74],"by":[75],"its":[76],"success,":[77],"recently":[81],"seen":[82],"increased":[83],"attention":[84],"the":[86],"academic":[87],"industrial":[89],"communities.":[90],"As":[91],"an":[92,99],"area":[93],"current":[95],"interest,":[96],"it":[97,114],"is":[98],"interdisciplinary":[100],"subject":[101],"(with":[102],"fields":[103],"including":[104],"methods,":[106],"mathematical":[107],"logic,":[108],"programming":[109],"languages,":[110],"networks),":[112],"making":[113],"daunting":[115],"for":[116,129],"nonprofessional.":[118],"We":[119],"perform":[120],"comprehensive":[122],"survey":[123,144],"on":[124],"well-developed":[125],"methodologies":[126],"tools":[128],"data":[130,136],"plane":[131,134,137,141],"verification,":[132,135],"control":[133,140],"testing.":[142],"also":[145],"provides":[146],"lessons":[147],"gained":[148],"existing":[150],"solutions":[151],"perspective":[154],"future":[156],"developments.":[158]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":13},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":16},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}