{“id”：“https://openalex.org/W1857345107“，”doi“：”https://doi.org/10.1007/3-540-45402-0_15“，”title“：”带稳定模型的有界LTL模型检查“，”display_name“：”用稳定模型检查有界LTI模型“，”publication_year“：2001，”publiation_date“：”2001-01-01“，”ids“：{”openalex“：”https://openalex.org/W1857345107“，”doi“：”https://doi.org/10.1007/3-540-45402-0_15“，”mag“：”1857345107“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-445402-0_15“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5078732211“，”display_name“：”Keijo Heljanko“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2800229700“，”display_name“：”赫尔辛基物理研究所“，”ror“：”https://ror.org/01x2x1522“，”“country_code”“：”FI“，”type“：”facility“，”lineage“：[”https://openalex.org/I133731052","https://openalex.org/I2800229700","https://openalex.org/I63548447","https://openalex.org/I94722563","https://openalex.org/I9927081“]}]，”国家“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”Keijo Heljanko“，”raw _ afiliation_strings“：[“赫尔辛基理工大学理论计算机科学与工程实验室系，芬兰赫尔辛基科技大学，邮政信箱5400，FIN-02015 HUT”]，”afliations“：[{”raw_ afiliation _string“：”赫尔辛基理工大学理论计算机科学与工程实验室系，芬兰HUT，FIN-02015，邮政信箱5400“，“institution_ids”：[“https://openalex.org/I2800229700“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5000911721“，”display_name“：”Ilkka Niemel\u00e4“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2800229700“，”display_name“：”赫尔辛基物理研究所“，”ror“：”https://ror.org/01x2x1522“，”“country_code”“：”FI“，”type“：”facility“，”lineage“：[”https://openalex.org/I133731052","https://openalex.org/I2800229700","https://openalex.org/I63548447","https://openalex.org/I94722563","https://openalex.org/I9927081“]}]，”国家“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”Ilkka Niemel\u00e4“，”raw _ afiliation_strings“：[“赫尔辛基理工大学理论计算机科学与工程实验室系，芬兰赫尔辛基工学院，邮政信箱5400，FIN-02015 HUT”]，”从属关系“：[{”raw_ afiliation _string“：”赫尔辛基理工大学理论计算机科学与工程实验室系，芬兰HUT，FIN-02015，邮政信箱5400“，“institution_ids”：[“https://openalex.org/I2800229700“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：6.177，”has_fulltext“：false，”cited_by_count ile_year“：{“最小”：87，“最大”：88}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”200“，”last_page“：”212“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“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.9997，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9987，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9966，”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/model-checking“，”display_name“：”模型检查“，”score“：0.613624}，{”id“：”https://openalex.org/keywords/model-consistency“，”display_name“：”模型一致性“，”score“：0.56331}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.539794}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.527856}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.520633}]，”concepts“：[{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362网址“，”display_name“：”有界函数“，”level“：2，”score“：0.81600565｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.745573}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.6827855}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.41516513}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.39777255}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037网址“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.35899913}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.18898785}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0869602}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-45402-0_15“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“http://arxiv.org/abs/cs/0305040“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：【]，“referenced_works_count”：13，“referrenced_works”：https://openalex.org/W1493373428","https://openalex.org/W1511319905","https://openalex.org/W1568909857","https://openalex.org/W1576317809","https://openalex.org/W1577827016","https://openalex.org/W1595075780","https://openalex.org/W1761635979","https://openalex.org/W1857345107","https://openalex.org/W2061438988","https://openalex.org/W2101602798","https://openalex.org/W2115309705","https://openalex.org/W2152131859","https://openalex.org/W4231640108“]，”related_works“：[”https://openalex.org/W925418074","https://openalex.org/W4289687320","https://openalex.org/W3013085049","https://openalex.org/W2544423928","https://openalex.org/W2400856453","https://openalex.org/W2119610731","https://openalex.org/W2073681303","https://openalex.org/W2051487156","https://openalex.org/W1993103557","https://openalex.org/W1538854713“]，”ngrams_url“：”https://api.openalex.org/works/W1857345107/ngrams网站“，”“abstract_inverted_index”：{“In”：[0]，“this”：[1]，“paper”：[2]，“bounded”：[3,64,94108]，“model”：[4,23,65,87109]，“checking”：[5,66110]，“of”：[6,24,29,51,78,84,93107111]，“异步”：[7,25]，“并发”：[8]，“systems”：[9,26]，“is”：[10,38]，“introduced”：[11]，“as”：[1210102]，“a”：[13,27,41,46,58]，“有希望”：[14]，“应用”：[15]，“面积”：[16]，“对于“：[17,68]，”回答“：[18]，”设置“：[19]，”编程。“：[20]，”As“：[21]，”the“：[22，49，52，63，69，79，85103124127]，”泛化“：[28]，”通信“：[30]，”自动机“：[31]，”1-安全“：[32，42]，”Petri“：[33，43]，”网“：[34]，”are“：[35130]，”使用。“：[36]，“It”：[37]，“shown”：[39]，“how”：[40]，“net”：[44,53,70]，“and”：[45,96126]，“requirement”：[47]，“on”：[48118]，“behavior”：[50]，“can”：[54,71]，“be”：[55,72]，“translated”：[56]，“into”：[57]，“logic”：[59]，“program”：[60]，“such”：[61]，“that”：[62]，“问题”：[67106]，“求解”：[73]，“by”：[74]，“计算”：[75]，“稳定”：[76,86]，“模型”：[77]，“对应”：[80]，“程序。“：[81]，”The“：[82]，”use“：[83]，”semantics“：[88]，”leads“：[89]，”to“：[90]，”compact“：[91]，”encodings“：/92]，”reachability“：[95]，”deadlock“：[97120]，”检测“：[98121]，”tasks“：99]，”well“：[101]，”more“：[104]，”general“：[105]，”linear“：[112]，”temporal“：%11]，”logic“。“：[114]，”Some“：[115]，”experimental“：[116]，”results“：[117]，”solving“：[119]，”problems“：[122]，”using“：[123]，”translation“：[125]，”Smodels“：[128]，”system“：[129]，”presented。“：[131]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1857345107“，”counts_by_year“：[{”年份“：2023，”cited_by_count“：1}，{”年度“：2018，”ciped_by_cunt“：1'，{“年份”：2015，”cited_by_count”：1}]，”updated_date“：”2024-06-23T16:43:16.507533“，”created_dates“：”2016-06-24“}