{"id":"https://openalex.org/W2401985403","doi":"https://doi.org/10.17706/jsw.10.11.1319-1326","title":"Component-Based Verification Model of Sequential Programs","display_name":"Component-Based Verification Model of Sequential Programs","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2401985403","doi":"https://doi.org/10.17706/jsw.10.11.1319-1326","mag":"2401985403"},"language":"en","primary_location":{"id":"doi:10.17706/jsw.10.11.1319-1326","is_oa":true,"landing_page_url":"https://doi.org/10.17706/jsw.10.11.1319-1326","pdf_url":"http://www.jsoftware.us/vol10/112-T3004.pdf","source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"http://www.jsoftware.us/vol10/112-T3004.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034822260","display_name":"Pei He","orcid":"https://orcid.org/0000-0003-1099-1525"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I37987034","display_name":"Guangzhou University","ror":"https://ror.org/05ar8rn06","country_code":"CN","type":"education","lineage":["https://openalex.org/I37987034"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I56934997","display_name":"Changsha University of Science and Technology","ror":"https://ror.org/03yph8055","country_code":"CN","type":"education","lineage":["https://openalex.org/I56934997"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Pei He","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing 100871, China","School of Computer Science and Educational Software, Guangzhou University, Guangzhou 510006, China","School of Computer and Communication Engineering, Changsha University of Science and Technology, Changsha 410114, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing 100871, China","institution_ids":["https://openalex.org/I20231570","https://openalex.org/I4210128818"]},{"raw_affiliation_string":"School of Computer Science and Educational Software, Guangzhou University, Guangzhou 510006, China","institution_ids":["https://openalex.org/I37987034"]},{"raw_affiliation_string":"School of Computer and Communication Engineering, Changsha University of Science and Technology, Changsha 410114, China","institution_ids":["https://openalex.org/I56934997"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043829787","display_name":"Achun Hu","orcid":null},"institutions":[{"id":"https://openalex.org/I37987034","display_name":"Guangzhou University","ror":"https://ror.org/05ar8rn06","country_code":"CN","type":"education","lineage":["https://openalex.org/I37987034"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Achun Hu","raw_affiliation_strings":["School of Computer Science and Educational Software, Guangzhou University, Guangzhou 510006, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Educational Software, Guangzhou University, Guangzhou 510006, China","institution_ids":["https://openalex.org/I37987034"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088488171","display_name":"Dongqing Xie","orcid":"https://orcid.org/0000-0003-2084-3075"},"institutions":[{"id":"https://openalex.org/I37987034","display_name":"Guangzhou University","ror":"https://ror.org/05ar8rn06","country_code":"CN","type":"education","lineage":["https://openalex.org/I37987034"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dongqing Xie","raw_affiliation_strings":["School of Computer Science and Educational Software, Guangzhou University, Guangzhou 510006, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Educational Software, Guangzhou University, Guangzhou 510006, China","institution_ids":["https://openalex.org/I37987034"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14612091,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":"11","first_page":"1319","last_page":"1326"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10260","display_name":"Software Engineering Research","score":0.9907000064849854,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9267776012420654},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.7552655935287476},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4127044379711151},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3144876956939697}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9267776012420654},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7552655935287476},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4127044379711151},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3144876956939697},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.17706/jsw.10.11.1319-1326","is_oa":true,"landing_page_url":"https://doi.org/10.17706/jsw.10.11.1319-1326","pdf_url":"http://www.jsoftware.us/vol10/112-T3004.pdf","source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.17706/jsw.10.11.1319-1326","is_oa":true,"landing_page_url":"https://doi.org/10.17706/jsw.10.11.1319-1326","pdf_url":"http://www.jsoftware.us/vol10/112-T3004.pdf","source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G2560947383","display_name":null,"funder_award_id":"61503087","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320311213","display_name":"Education Department of Hunan Province","ror":"https://ror.org/05ckg3w11"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321921","display_name":"Natural Science Foundation of Guangdong Province","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2401985403.pdf","grobid_xml":"https://content.openalex.org/works/W2401985403.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W109993195","https://openalex.org/W437267782","https://openalex.org/W1491178396","https://openalex.org/W1511668635","https://openalex.org/W1545975048","https://openalex.org/W1563462544","https://openalex.org/W1568375553","https://openalex.org/W1576818901","https://openalex.org/W1579433101","https://openalex.org/W1977321274","https://openalex.org/W2000806730","https://openalex.org/W2019625726","https://openalex.org/W2028585812","https://openalex.org/W2034717157","https://openalex.org/W2044772384","https://openalex.org/W2055975932","https://openalex.org/W2101987112","https://openalex.org/W2106007969","https://openalex.org/W2126148517","https://openalex.org/W2296218809","https://openalex.org/W2597376266","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4231555653","https://openalex.org/W4234924236","https://openalex.org/W4251228600","https://openalex.org/W4285719527","https://openalex.org/W4296471858","https://openalex.org/W6631501427","https://openalex.org/W6634279960","https://openalex.org/W6634693131"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Hoare's":[0],"logic":[1],"helps":[2],"with":[3,60],"program":[4,20,75,101],"state":[5],"descriptions,":[6],"but":[7,95],"is":[8,22,33,71,88],"difficult":[9],"to":[10,25,35,92,97],"manipulate.":[11],"Model":[12],"checking":[13],"emerged":[14],"as":[15,55,106],"a":[16,37,69],"new":[17],"trend":[18],"in":[19,63],"verifications":[21],"best":[23],"applied":[24,48],"system":[26],"designs":[27],"rather":[28],"than":[29],"implementations.":[30],"This":[31],"paper":[32],"committed":[34],"establish":[36],"component-based":[38],"verification":[39,78],"framework":[40,70],"that":[41],"combines":[42],"both":[43,74],"of":[44,50,65,100],"them.":[45],"The":[46,84],"method":[47],"consists":[49],"two":[51],"steps:":[52],"regarding":[53],"predicates":[54],"states":[56],"and":[57,77,103,110],"connecting":[58],"them":[59],"functional":[61],"components":[62],"light":[64],"their":[66],"relationships.":[67],"Once":[68],"set":[72],"up,":[73],"generation":[76],"can":[79],"be":[80],"automatically":[81],"carried":[82],"out.":[83],"principle":[85],"presented":[86],"here":[87],"not":[89],"only":[90],"applicable":[91],"sequential":[93],"programs,":[94],"also":[96],"other":[98],"types":[99],"structures":[102],"paradigm":[104],"such":[105],"iteration,":[107],"branch":[108],"structure":[109],"grammatical":[111],"evolution,":[112],"etc.":[113]},"counts_by_year":[],"updated_date":"2026-07-27T08:26:11.824852","created_date":"2016-06-24T00:00:00"}