{"id":"https://openalex.org/W2981877881","doi":"https://doi.org/10.1007/978-3-030-32216-8_16","title":"An Semi-formal Co-verification Approach for High-Assurance CPS","display_name":"An Semi-formal Co-verification Approach for High-Assurance CPS","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2981877881","doi":"https://doi.org/10.1007/978-3-030-32216-8_16","mag":"2981877881"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-32216-8_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-32216-8_16","pdf_url":null,"source":{"id":"https://openalex.org/S4393917809","display_name":"Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","issn_l":"1867-8211","issn":["1867-8211","1867-822X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"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/A5100433506","display_name":"Yu Zhang","orcid":"https://orcid.org/0000-0002-1911-6228"},"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":true,"raw_author_name":"Yu Zhang","raw_affiliation_strings":["School of Computer Science and Cyberspace Security, Hainan University, Haikou, 570228, China","State Key Laboratory of Marine Resource Utilization in South China Sea, Hainan University, Haikou, 570228, China","State Key Laboratory of Marine Resource Utilization in South China Sea, Hainan University, Haikou, China","School of Computer Science and Cyberspace Security, Hainan University, Haikou, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Cyberspace Security, Hainan University, Haikou, 570228, China","institution_ids":["https://openalex.org/I20942203"]},{"raw_affiliation_string":"State Key Laboratory of Marine Resource Utilization in South China Sea, Hainan University, Haikou, 570228, China","institution_ids":["https://openalex.org/I20942203"]},{"raw_affiliation_string":"State Key Laboratory of Marine Resource Utilization in South China Sea, Hainan University, Haikou, China","institution_ids":["https://openalex.org/I20942203"]},{"raw_affiliation_string":"School of Computer Science and Cyberspace Security, Hainan University, Haikou, China","institution_ids":["https://openalex.org/I20942203"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011132245","display_name":"Mengxing Huang","orcid":"https://orcid.org/0000-0002-5709-703X"},"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":"Mengxing Huang","raw_affiliation_strings":["School of Information and Communication Engineering, Hainan University, Haikou, 570228, China","State Key Laboratory of Marine Resource Utilization in South China Sea, Hainan University, Haikou, 570228, China","State Key Laboratory of Marine Resource Utilization in South China Sea, Hainan University, Haikou, China","School of Information and Communication Engineering, Hainan University, Haikou, China"],"affiliations":[{"raw_affiliation_string":"School of Information and Communication Engineering, Hainan University, Haikou, 570228, China","institution_ids":["https://openalex.org/I20942203"]},{"raw_affiliation_string":"State Key Laboratory of Marine Resource Utilization in South China Sea, Hainan University, Haikou, 570228, China","institution_ids":["https://openalex.org/I20942203"]},{"raw_affiliation_string":"State Key Laboratory of Marine Resource Utilization in South China Sea, Hainan University, Haikou, China","institution_ids":["https://openalex.org/I20942203"]},{"raw_affiliation_string":"School of Information and Communication Engineering, Hainan University, Haikou, China","institution_ids":["https://openalex.org/I20942203"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073125952","display_name":"Wenlong Feng","orcid":"https://orcid.org/0000-0001-7938-6580"},"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":"Wenlong Feng","raw_affiliation_strings":["School of Information and Communication Engineering, Hainan University, Haikou, 570228, China","State Key Laboratory of Marine Resource Utilization in South China Sea, Hainan University, Haikou, 570228, China","School of Information and Communication Engineering, Hainan University, Haikou, China","State Key Laboratory of Marine Resource Utilization in South China Sea, Hainan University, Haikou, China"],"affiliations":[{"raw_affiliation_string":"School of Information and Communication Engineering, Hainan University, Haikou, 570228, China","institution_ids":["https://openalex.org/I20942203"]},{"raw_affiliation_string":"State Key Laboratory of Marine Resource Utilization in South China Sea, Hainan University, Haikou, 570228, China","institution_ids":["https://openalex.org/I20942203"]},{"raw_affiliation_string":"School of Information and Communication Engineering, Hainan University, Haikou, China","institution_ids":["https://openalex.org/I20942203"]},{"raw_affiliation_string":"State Key Laboratory of Marine Resource Utilization in South China Sea, Hainan University, Haikou, China","institution_ids":["https://openalex.org/I20942203"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100433506"],"corresponding_institution_ids":["https://openalex.org/I20942203"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.29645199,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"168","last_page":"179"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9973999857902527,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.7735033631324768},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7516710758209229},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.7155567407608032},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.6762126088142395},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.6330647468566895},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.6096435189247131},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5683847069740295},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.5415156483650208},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5103062987327576},{"id":"https://openalex.org/keywords/high-level-verification","display_name":"High-level verification","score":0.46224427223205566},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33137285709381104},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25894057750701904},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.05585479736328125},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.049062639474868774}],"concepts":[{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.7735033631324768},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7516710758209229},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.7155567407608032},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.6762126088142395},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.6330647468566895},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.6096435189247131},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5683847069740295},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.5415156483650208},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5103062987327576},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.46224427223205566},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33137285709381104},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25894057750701904},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.05585479736328125},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.049062639474868774},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-32216-8_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-32216-8_16","pdf_url":null,"source":{"id":"https://openalex.org/S4393917809","display_name":"Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","issn_l":"1867-8211","issn":["1867-8211","1867-822X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1492799134","https://openalex.org/W1570292182","https://openalex.org/W2010282078","https://openalex.org/W2082778186","https://openalex.org/W2090677007","https://openalex.org/W2129751338","https://openalex.org/W2145158997","https://openalex.org/W2293989893","https://openalex.org/W2626764419","https://openalex.org/W2770198223","https://openalex.org/W2798244929","https://openalex.org/W2883422753","https://openalex.org/W2909898614","https://openalex.org/W3143956724","https://openalex.org/W6746868243"],"related_works":["https://openalex.org/W2361881307","https://openalex.org/W2106507440","https://openalex.org/W3023586562","https://openalex.org/W3120172095","https://openalex.org/W2162615969","https://openalex.org/W1496505755","https://openalex.org/W2105593427","https://openalex.org/W4375857205","https://openalex.org/W2997541867","https://openalex.org/W3209085687"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-03-27T14:29:43.386196","created_date":"2025-10-10T00:00:00"}