{“id”：“https://openalex.org/W1592459923“，”doi“：”https://doi.org/10.1016/s1571-0661（04）80478-x“，”title“：“密集实时系统谓词抽象”11本研究由国家科学基金会（CCR-00-82560和CCR-00-86096）资助，由NASA兰利研究中心（NASA Langley research Center）根据合同B09060051和与霍尼韦尔·明尼阿波利斯（Honeywell Minneapolis）签订的合作协议NCC-1-399资助。大多数研究都是在第一作者于2001年7月/8月访问SRI International时进行的。“，”display_name“：”密集实时系统谓词抽象11本研究得到了国家科学基金会（CCR-00-82560和CCR-00-86096）的资助，以及美国国家航空航天局兰利研究中心（NASA Langley research Center）与霍尼韦尔·明尼阿波利斯（Honeywell Minneapolis）签订的合同B09060051和合作协议NCC-1-399的支持。大多数研究都是在第一作者于2001年7月/8月访问SRI International时进行的。”，“publication_year”：2002，“publitation_date”：“2002-06-01”，“ids”：{“openalex”：“https://openalex.org/W1592459923“，”doi“：”https://doi.org/10.1016/s1571-0661（04）80478-x“，”mag“：”1592459923“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s1571-0661（04）80478-x“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“gold”，“oa_url”：“”https://doi.org/10.1016/1571-0661（04）80478-x“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5056272923“，”display_name“：”Marianne M\u00f8ller“，”orcid“：”https://orcid.org/0000-0001-5669-6383“}，”机构“：[]，”国家“：[[]，”is_corresponding“：true，”raw_author_name“：”M.Oliver M\u00f6ller“，”raw_affiliation_strings“：[]，“affiliations”：[]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A505015090“，”display_name“：”Harald Rue\u00df“，”orcid“：”https://orcid.org/0000-0002-1405-2990}，“机构”：[{“id”：https://openalex.org/I1298353152“，”display_name“：”SRI International“，”ror“：”https://ror.org/05s570m15“，”country_code“：”US“，”type“：“非营利”，”世系“：[”https://openalex.org/I1298353152“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Harald Rue\u00df“，”raw _ afiliation_strings“：[“SRI国际，计算机科学实验室，333 Ravenswood Avenue，Menlo Park，CA 94025，USA”]，”afiliations“：[{”raw_ afiliation _string“：”SRI国际，计算机科学实验室，333 Ravenswood Avenue，Menlo Park，CA 94025，USA“，“institution_ids”：[“https://openalex.org/I1298353152“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5026532148“，”display_name“：”Maria Sorea“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1298353152“，”display_name“：”SRI International“，”ror“：”https://ror.org/05s570m15“，”country_code“：”US“，”type“：“非营利”，”世系“：[”https://openalex.org/I1298353152“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Maria Sorea“，”raw _affiliation_strings“：[“SRI国际，计算机科学实验室，地址：333 Ravenswood Avenue，Menlo Park，CA 94025，USA”]，“afliations”：[{“raw_affilition_string”：“SRI International，Computer Science Laboratory，333 Raveswood Avenue、Menlo Parker，CA 940205，USA.”，“机构ID“：[”https://openalex.org/I1298353152“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5056272923","https://openalex.org/A505015090","https://openalex.org/A5026532148“]，”对应的机构ID“：[”https://openalex.org/I1298353152","https://openalex.org/I1298353152“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：1.293，”has_fulltext“：false，”cited_by_count“：11，”cited_by_percentile_year“：{”min“：82，”max“：83}，”biblio“：{volume“：”65“，”issue“：”6“，”first_page“：”218“，”last_page“：“237”}，“is_retracted”：false“，”is_paratext“：false，”primary_topic“：{”id“”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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.9999，“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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9963，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9948，“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/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.628294}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.552548}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.540849}，{”id“：”https://openalex.org/keywords/discrete-event-systems公司“，”display_name“：”Discrete-Event Systems“，”score“：0.520466}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.515075}]，”concepts“：[{”id“：”https://openalex.org/C2779907942，“wikidata”：https://www.wikidata.org/wiki/Q7239630“，”display_name“：”谓词抽象“，”level“：3，”score“：0.8259357}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6943941}，{”id“：”https://openalex.org/C30888246，“wikidata”：https://www.wikidata.org/wiki/Q4669969“，”display_name“：”抽象模型检查“，”level“：3，”score“：0.68361646}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.65807104}，{”id“：”https://openalex.org/C15569618，“wikidata”：https://www.wikidata.org/wiki/Q3561421“，”display_name“：”Liveness“，”level“：2，”score“：0.6347921}，{”id“：”https://openalex.org/C135315306，“wikidata”：https://www.wikidata.org/wiki/Q866364“，”display_name“：”双向模拟“，”level“：2，”score“：0.60565984}，{”id“：”https://openalex.org/C140146324，“wikidata”：https://www.wikidata.org/wiki/Q1144319“，”display_name“：”谓词（数学逻辑）“，”level“：2，”score“：0.57275826}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.5345475}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5164997}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.47983906}，{”id“：”https://openalex.org/C165753454，“wikidata”：https://www.wikidata.org/wiki/Q1020380“，”display_name“：”B\u00fcchi automaton“，”level“：4，”score“：0.44379652}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.386965}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3569176}，{”id“：”https://openalex.org/C194525867，“wikidata”：https://www.wikidata.org/wiki/Q5265707“，”display_name“：”确定性自动机“，”level“：3，”score“：0.1775819}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/1571-0661（04）80478-x“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/s1571-0661（04）80478-x“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”score“：0.56，”display_name“：”目标伙伴关系“，”id“：”https://metadata.un.org/sdg/17“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：16，”referrenced_works“：【”https://openalex.org/W1491913687","https://openalex.org/W1497571013","https://openalex.org/W1505030820","https://openalex.org/W1515363397","https://openalex.org/W1560527899","https://openalex.org/W1590336223","https://openalex.org/W1599210792","https://openalex.org/W2015640848","https://openalex.org/W2043100293","https://openalex.org/W2101508170","https://openalex.org/W2116391427","https://openalex.org/W2130773092","https://openalex.org/W2134147303","https://openalex.org/W2158395308","https://openalex.org/W2396167915","https://openalex.org/W2730369637“]，”related_works“：[”https://openalex.org/W92012290","https://openalex.org/W4256174789","https://openalex.org/W4242436822","https://openalex.org/W40054448","https://openalex.org/W2522207775","https://openalex.org/W2374084031","https://openalex.org/W2149977550","https://openalex.org/W2097257018","https://openalex.org/W1554532808","https://openalex.org/W1511759343“]，”ngrams_url“：”https://api.openalex.org/works/W159245923/ngrams“，”“abstract_inverted_index”：{“We”：[0]，“propose”：[1]，“predicate”：[2,75130]，“abstration”：[3,81,89104131162188215]，“as”：[4]，“a”：[5,9,24,49,63,68,78,84150156171180194210]，“means”：[6]，“for”：[7,62133217]，“verifying”：[8]，“rich”：[10]，“class”：[11]，“of”：[12,27,45,74,80149158161 174213]，“安全”：[13]，”和“：[14,67]，“活性”：[15]，“属性“：[16]，”密集“：[18]，”实时“：[19]，”系统。“：[20]，”First，“：[21]，”we“：[22,53169]，”define“：[23170]，”restricted“：[25]，”semantics“：[26,37]，”timed“：[28,64127134]，”systems“：[2]，”which“：[30]，”is“：[31,90137]，”observatually“：[32]，”equivalent“：[33]，”to“：[34145179207]，”the“：[35,42,55,87,94101110122129159219]，”standard“：[36]，“in”：[38,72,93]，“that”：[39,96177]，“it”：[40143]，“验证“：[41,98105]，”same“：[43]，”set“：[44,79212]，”\u03bc-calculus“：[46,69118200]，”formulas“：%47]，”without“：[48]，”next-step“：[50]，”operator。“：[51]，”然后，“：[52]，”重铸“：[54]，”模型“：[56119201]，”检查“：[57202]，”问题“：[58]，”S“：[59,66,97]，”u22a8“：[60]，”\u03d5“：[61,71,99]，”自动机“：[65]，”公式“：[70107]，”术语“：[73]，”抽象。“：[76183220]，“每当”：[77]，“谓词”：[82189216]，“形式”：[83]，“所谓”：[85]，“基础”：[86]，“结果”：[88]，“强”：[91181]，“保留”：[92182]，“意义”：[95]，“iff”：[100]，“对应”：[102]，“有限”：[103151172195]，“this”：[106]，“\u03d5.”：[108]，“现在”：[109]，“抽象”：[111]，“系统”：[112]，“可以”：[113204]，“是”：[114205]，“选中“：[115]，”使用“：[116154]，”熟悉“：[117]，”检查。“：[120]，”Like“：[121]，”region“：[123]，”graph“：[124]，”construction“：/125]，”automata“，：[128]，”algorithm“：[132]，”automata“：[135]，”通常“：[136]，”禁止“：[138]，”昂贵。“：[139]，”In“：[140184]，”many“：[141]，”cases“：[142]，”enoughs“：[144]，”compute“：%146]，”an“：[147]，”approximation“：[148]，”bisimulation“：%152]，”by“：[153]，”only“：[155]，”subset“：[157]，”basis“：[160]，”谓词。“：[163]，“开始”：[164]，“with”：[165]，“some”：[166]，“粗糙”：[167]，“抽象”，：[168]，“sequence”：[173]，“refined”：[175]，“abstrations”：[176]，“consessions”：[178]，“each”：[185]，“step”：[186]，“new”：%187214]，“are”：[C90]，“selected”：[191]，“nondeterministically”：[192]，“from”：[193198]，“basis”。“：[196]，”反例“：[197]，”失败“：[199]，”尝试“：[203]，”使用“：[206]，”启发式“：[208]，”选择“：[209]，”小“：[211]，”精炼“：[218]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W1592459923“，”counts_by_year“：[{”年份“：2017，”cited_by_count“：1}，{”年“：2012，”cited_by_count”：1}]，”更新日期“：”2024-08-02T23:34:10.324437“，”created_date“：”2016-06-24“}