{“id”：“https://openalex.org/W2086602487“，”doi“：”https://doi.org/10.109/acsd.2008.4574602“，”title“：”分层UML状态机的符号模型检查“，”display_name“：”层次UML状态机符号模型检查”，“publication_year”：2008，“publiation_date”：“2008-01-01”，“ids”：{“openalex”：“https://openalex.org/W2086602487“，”doi“：”https://doi.org/10.109/acsd.2008.4574602“，”mag“：”2086602487“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/acsd.2008.4574602“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”http://www.tcs.hut.fi/Publications/bibdb/hut-tcs-B23.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5025256981“，”display_name“：”Jori Dubrovin“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I32943570“，”display_name“：”赫尔辛基信息技术研究所“，”ror“：”https://ror.org/05kph4940“，”“country_code”“：”FI“，”type“：”facility“，”lineage“：[”https://openalex.org/I133731052","https://openalex.org/I32943570","https://openalex.org/I9927081“]}]，”国家“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”Jori Dubrovin“，”raw_affiliation_strings“：[“芬兰赫尔辛基理工大学信息与计算机科学系”]，”affiliations“：[{”raw_affiliation_string“：”芬兰赫尔辛基理工大学资讯与计算机科学学院“，”机构ID“：[”https://openalex.org/I32943570“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5037137004“，”display_name“：”Tommi Junttila“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I32943570“，”display_name“：”赫尔辛基信息技术研究所“，”ror“：”https://ror.org/05kph4940“，”“country_code”“：”FI“，”type“：”facility“，”lineage“：[”https://openalex.org/I133731052","https://openalex.org/I32943570","https://openalex.org/I9927081“]}]，”国家“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”Tommi Junttila“，”raw _ afiliation_strings“：[“芬兰赫尔辛基理工大学信息与计算机科学系”]，”affiliations“：[{”raw _affiliation_strong“：”芬兰赫尔辛基理工大学资讯与计算机科学学院“，”机构ID“：[”https://openalex.org/I32943570“]}]}]，”institution_assertions“：[]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]、“correspending_institution_ids“：[].”apc_list“：null，”apc_payed“：nul，”fwci“：3.695，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count：42，“citation_normalized_percentile”：{“value”：0.9 68048英寸is_in_top_1_percent“：false，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：93，”max“：94}，“biblio”：{“volume”：null，“issue”：null:null，”first_page“：null”，”last_page“：null}，）“is_retracted”：false、“is_paratext”：false，“primary_topic”:{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9986，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10743“，”display_name“：”自动化软件测试技术“，”score“：0.9972，”subfield“：｛”id“：”https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.616012}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.574836｝，｛”id“：”https://openalex.org/keywords/symbolic-execution网站“，”display_name“：”符号执行“，”score“：0.514126}，{”id“：”https://openalex.org/keywords/abstraction-model-checking“，”display_name“：”抽象模型检查“，”score“：0.4875676}]，”concepts“：[{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.85786945}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.82122624}，{”id“：”https://openalex.org/C125411270，“wikidata”：https://www.wikidata.org/wiki/Q18653“，”display_name“：”编码（内存）“，”级别“：2，”分数“：0.69181156}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.66386646}，{”id“：”https://openalex.org/C145644426，“wikidata”：https://www.wikidata.org/wiki/Q169411“，”display_name“：”统一建模语言“，”level“：3，”score“：0.6592342}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.59584445}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.53440017}，{”id“：”https://openalex.org/C30888246，“wikidata”：https://www.wikidata.org/wiki/Q4669969“，”display_name“：”抽象模型检查“，”level“：3，”score“：0.4875676}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.48126882｝，｛”id“：”https://openalex.org/C25343380，“wikidata”：https://www.wikidata.org/wiki/Q277521“，”display_name“：”关系（数据库）“，”级别“：2，”分数“：0.44882143}，{”id“：”https://openalex.org/C41298492，“wikidata”：https://www.wikidata.org/wiki/Q4781506“，”display_name“：”UML应用“，”level“：4，”score“：0.44597015}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.13844496}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.1154542}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491“，”display_name“：”数据挖掘“，”level“：1，”score“：0.11382946}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/acsd.2008.4574602“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.144.6694，“pdf_url”：http://www.tcs.hut.fi/Publications/bibdb/hut-tcs-B23.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.144.6694，“pdf_url”：http://www.tcs.hut.fi/Publications/bibdb/hut-tcs-B23.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：23，“referrenced_works”：https://openalex.org/W1480531236","https://openalex.org/W1481613203","https://openalex.org/W1503170978","https://openalex.org/W1515710041","https://openalex.org/W1517797129","https://openalex.org/W1518705996","https://openalex.org/W1639286548","https://openalex.org/W1651242740","https://openalex.org/W1787074469","https://openalex.org/W1969913838","https://openalex.org/W1973898358","https://openalex.org/W1998017916","https://openalex.org/W2005876630","https://openalex.org/W2084998880","https://openalex.org/W2100500368","https://openalex.org/W2142785340","https://openalex.org/W2143760481","https://openalex.org/W2308417994","https://openalex.org/W2612995250","https://openalex.org/W2913459036","https://openalex.org/W4300021588","https://openalex.org/W749729","https://openalex.org/W88778220“]，”related_works“：[”https://openalex.org/W278680301","https://openalex.org/W2387087283","https://openalex.org/W2144996318","https://openalex.org/W2140364234","https://openalex.org/W2083641877","https://openalex.org/W2081955678","https://openalex.org/W2030935018","https://openalex.org/W2015573812","https://openalex.org/W1607121733","https://openalex.org/W142178511“]，”abstract_inverted_index“：｛”A“：[0]，”compact“：[1]，”symbolic“：[2,36]，”encoding“：[3,69,97]，”is“：[4,75,98]，”described“：[5]，”for“：[6,770100]，”the“：[7,30,62,66,68,78,81,86101]，”transition“：[8]，”relationship“：[9]，”of“：[10.32,67,80,88]，”systems“：[11,34]，”modeled“：[12]，”with“：[13,61]，“异步”：[14]，“执行”：[15]，“分层”：[16]，“UML”：[17,63]，“状态“：[18,71,82]，”机器“：[19]，”that“：[20]，”communicate“：[21]，”通过“：[22]，”消息“：[23,94]，”passing“：[24]，”and“：[25,45,54,93105]，”属性“：[26]，”访问。“：[27]，“This”：[28]，“enables”：[29]，“analysis”：[31]，“such”：[33,40]，“by”：[35]，“model”：[37,43,48103]，“checking”：[38,44]，“technologies”，“：[39]，“as”：[41]，“BDD-based”：[42]，“SAT-based”：%46]，“bounded”：[47]，“checking”。“：[49]，”消息“：[50]，”接收“：[51]，”完成“：[52]，”事件“：[53]，”运行到完成“：55]，”步骤“：[56]，”是“：[57109]，”已处理“：[58]，”in“：[59,77,85]，”accordance“：[60]，”规范。“：[64]，”The“：[65,96]，”size“：[66,79]，”machine“：[72,83]，”control“：[73]，”logic“：[74]，”linear“：[76]，”even“：[84]，”presence“：[87]，”composite“：[89]，”states“：[90]，”orthogonald“：[91]，”regions“：[92]，”deferring.“：[95]，”impleteded“：[99]，”NuSMV“：[102]，”checker“：[104]，”初步”：[106]，“实验”：[107]，“结果”：[108]，“提出。“：[110]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2086602487“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年度”：2022，”“cited_by_cunt”：1'，{”“年份”“：2019，”“cited_by-count”“：1}，{年”：2018，“cited_by_cont”：2}，}”“年”：2017，“cited_ by_counts”：2{，“年份”“：2014，”cited_by_count“：6}，{“年份”：2013，”cited_by_count，“updated_date”：“2024-09-25T03:41:45.638658”，“创建日期”：“2016-06-24”}