{“id”：“https://openalex.org/W2145727812“，”doi“：”https://doi.org/10.1007/s10009-004-0151-z“，”title“：”定向模型检查中的部分顺序减少和跟踪改进“，”display_name“：”直接模型检查中部分顺序减少与跟踪改进“、”publication_year“：2004、”publitation_date“：”2004-08-01“，”ids“：{”openalex“：”https://openalex.org/W2145727812“，”doi“：”https://doi.org/10.1007/s10009-004-0151-z“，”mag“：”2145727812“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10009-004-0151-z“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S122567160“，”“display_name”“：”“国际技术转让软件工具杂志”“，”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“：”journal“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”oa_url“：”http://kops.uni-konstanz.de/bitstreams/6bcc0e4b-fe5b-4ff0-9622-99832e4b9af6/download“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5058729606“，”display_name“：”Stefan Edelkamp“，”orcid“：”https://orcid.org/0000-0001-8435-5025}，“机构”：[{“id”：https://openalex.org/I200332995“，”display_name“：”多特蒙德大学“，”ror“：”https://ror.org/01k97gp34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I200332995“]}]，”国家“：[”DE“]，”is_corresponding“：true，”raw_author_name“：”Stefan Edelkamp“，”raw _ afiliation_strings“：[“Fachbereich Informatik，University \u00e4t Dortmund，Baroper Str.301，GB IV，44221，Dortmund.，Germany”]，“affiliations”：[{“raw_affiliation_strong”：“Fachbereich Informatik，University\u00e4t Dortmund，Baroper Str.301，GB IV，44221，Dortmund.，Germany“，”institution_ids“：[”https://openalex.org/I200332995“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5045470371“，”display_name“：”Stefan Leue“，”orcid“：”https://orcid.org/0000-0002-4259-624X}，“机构”：[{“id”：https://openalex.org/I189712700“，”display_name“：”康斯坦茨大学“，”ror“：”https://ror.org/0546hnb39“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I189712700“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Stefan Leue“，”raw _ afiliation_strings“：[“Fachbereich Informatik und Informationswissenschaft，University \u00e4t Konstantz，78457，Konstantaz，Germany”]，”从属关系“：[{”raw _affiliation_string“：”Fachbereich Informatik und Informationswissenschaft，University\u00e4t Konstanz，78457，Konstantz，Germany“，“institution_ids”：[“https://openalex.org/I189712700“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5054527006“，”display_name“：”Alberto Lluch Lafuente“，”orcid“：”https://orcid.org/0000-0001-7405-0818}，“机构”：[{“id”：https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alberto Lluch-Lafuente“，”raw _affiliation_strings“：[“Dipartimento di Informatica，University \u00e0 di Pisa，Via Buonarroti 2，56127，Italy”]，“affiliations”：[{“raw_affiliation _string”：“Dipartitmento di-Informatica机构ID“：[”https://openalex.org/I108290504“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：3，”corresponding_author_ids“：[”https://openalex.org/A5058729606“]，”对应的机构ID“：[”https://openalex.org/I200332995“]，”apc_list“：｛”value“：2390，”currency“：”EUR“，”value_usd“：2990，”出处“：”doaj“｝，”apc_payed“：null，”fwci“：2.739，”has_fulltext“：false，”cited_by_count“：24，”cited_by_percentle_year“：｛”min“：89，”max“：90｝，”biblio“：｛”volume“：”6“，”issue“：”4“，”first_page“：”277“，”last_page“：”301“｝，”is _retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9994，”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.9994，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9946，“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/T11005“，”display_name“：”电子系统容错“，”score“：0.9943，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.542848}，{”id“：”https://openalex.org/keywords/error检测“，”display_name“：”错误检测“，”score“：0.524088}，{”id“：”https://openalex.org/keywords/search-based-testing网站“，”display_name“：”基于搜索的测试“，”score“：0.515406}]，”concepts“：[{”id“：”https://openalex.org/C94633896，“wikidata”：https://www.wikidata.org/wiki/Q7140378“，”display_name“：”部分订单减少“，”level“：3，”score“：0.94484687}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7609681}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.7519158}，{”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.7278156}，{”id“：”https://openalex.org/C162838799，“wikidata”：https://www.wikidata.org/wiki/Q596077“，”display_name“：”反例“，”level“：2，”score“：0.64250386}，{”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930“，”display_name“：”状态空间“，”level“：2，”score“：0.5696322}，{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739（网址：https://www.wikidata.org/wiki/Q752739）“，”display_name“：”异步通信“，”level“：2，”score“：0.5432935}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.47397226}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.4711294}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.46926898}，{”id“：”https://openalex.org/C173801870，“wikidata”：https://www.wikidata.org/wiki/Q201413“，”display_name“：”启发式“，”level“：2，”score“：0.4503157}，{”id“：”https://openalex.org/C24858836，“wikidata”：https://www.wikidata.org/wiki/Q844718“，”display_name“：”计算理论“，”level“：2，”score“：0.42417556}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.38339803}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.19746485}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.11735991}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10009-004-0151-z“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S122567160“，”“display_name”“：”“国际技术转让软件工具杂志”“，”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“：”journal“｝，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”http://nbn-resolution.de/urn:nbn:de:bsz:352-opus-57668“，”pdf_url“：”http://kops.uni-konstanz.de/bitstreams/6bcc0e4b-fe5b-4ff0-9622-99832e4b9af6/download，“源”：{“id”：https://openalex.org/S4377196311“，”display_name“：”KOPS（康斯坦茨大学）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：fase，”is_core“：false，”host_organization“：”https://openalex.org/I189712700“，”“host_organization_name”：“康斯坦茨大学”，“host_organization_lineage”：[“https://openalex.org/I189712700“]，”host_organization_lineage_names“：[”Konstanz大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”http://nbn-resolution.de/urn:nbn:de:bsz:352-opus-57668“，”pdf_url“：”http://kops.uni-konstanz.de/bitstreams/6bcc0e4b-fe5b-4ff0-9622-99832e4b9af6/download，“源”：{“id”：https://openalex.org/S4377196311“，”display_name“：”KOPS（康斯坦茨大学）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：fase，”is_core“：false，”host_organization“：”https://openalex.org/I189712700“，”“host_organization_name”：“康斯坦茨大学”，“host_organization_lineage”：[“https://openalex.org/I189712700“]，”host_organization_lineage_names“：[”Konstanz大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1497571013","https://openalex.org/W1511405608","https://openalex.org/W1535497513","https://openalex.org/W1536783297","https://openalex.org/W1539345619","https://openalex.org/W1540501475","https://openalex.org/W1546995467","https://openalex.org/W1547793878","https://openalex.org/W1563242841","https://openalex.org/W1585422671","https://openalex.org/W1608367582","https://openalex.org/W1820192350","https://openalex.org/W1903646270","https://openalex.org/W1965309410","https://openalex.org/W1967333679","https://openalex.org/W1969483458","https://openalex.org/W1972065960","https://openalex.org/W1972290200","https://openalex.org/W1973954352","https://openalex.org/W197512016","https://openalex.org/W1984081611","https://openalex.org/W2006406722","https://openalex.org/W2017008045","https://openalex.org/W2024958639","https://openalex.org/W2067623660","https://openalex.org/W2071213760","https://openalex.org/W2115309705","https://openalex.org/W2121461840","https://openalex.org/W2122054842","https://openalex.org/W2134634502","https://openalex.org/W2135274583","https://openalex.org/W2150309803","https://openalex.org/W2150470619","https://openalex.org/W2158870716","https://openalex.org/W2162105624","https://openalex.org/W2913927882","https://openalex.org/W4230796557","https://openalex.org/W4238269194","https://openalex.org/W4243131940","https://openalex.org/W4246017475","https://openalex.org/W4247042060“]，”related_works“：[”https://openalex.org/W2953113086","https://openalex.org/W2952737788","https://openalex.org/W2804745155","https://openalex.org/W2056825861","https://openalex.org/W1973954352","https://openalex.org/W1573151257","https://openalex.org/W1552191998","https://openalex.org/W1546995467","https://openalex.org/W1545972740","https://openalex.org/W1523442991“]，”ngrams_url“：”https://api.openalex.org/works/W2145727812/ngrams网站“，”“abstract_inverted_index”：{“In”：[0117]，“this”：[1118]，“paper”：[2]，“we”：[3,64,98120]，“present”：[4,46]，“work”：/5]，“on”：[6]，“trail”：[7]，“improvement”：[8]，“and”：[9128]，“partial-order”：[10,6711129]，“reduction”：[1112130]，“In”：[12,86113]，“the”：[13,37,56,73,76,81103133]，“上下文”：[14119]，“的”：[15,40,49,58,75,83106125]，“directed“：[16,25,50,93]，”显式状态“：[17,21,41,51,94114]，”模型“：[18,22,42,52,95115]，”检查。“：[19,43,96116]，”定向“：[20]，”检查“：[23,53]，”采用“：[24]，”启发式“：[26126]，”搜索“：[27,34127]，”算法“：[28]，”例如“：[29]，”如“：[30]，”A*“：[31]，”或“：[32]，”最佳先“：[33]，”到“：[35,54101131135]，”改进“：[36,55132]，”错误检测“：[38]，”能力“：[39]，“我们”：[44]，“第一个”：[45]，“使用”：[48]，“长度”：[57105134]，“已经“：[59136]，”建立“：[60]，”错误“：[61107]，”跟踪。“：[62]，”Second，“：[63]，”show“：[65]，”that“：[66]，”reduction“：[68]，”which“：[69]，”targets“：[70]，”at“：[71]，”reducting“：[72]，”size“：[74]，”state“：[77]，”space“：[78]，”by“：[79110]，”利用“：[80]，”交换性“：[82]，”并发“：[84]，”转换“：[85]，”异步“：[87]，”systems，“：[88]，”可以“：[89]，”共存“：[90]，”好“：[91]，”与“：[92]，”最后，“：[97]，”说明“：[99]，“如何”：[100]，“缓解”：[102]，“过度”：[104]，“线索”：[108]，“产生”：[109]，“还”：[121]，“提议”：[122]，“a”：[123]，“组合”：[124]，“提供”：[137]，“反例。“：[138]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2145727812“，”counts_by_year“：[{“年份”：2021，”cited_by_count“：1}，{“年度”：2019，”ciped_by_cunt“：1}，”{“年”：2018，“cited_by_count”：2}，“年份”:2014，”cited_by_count