{“id”：“https://openalex.org/W2110395520“，”doi“：”https://doi.org/10.1145/1941553.1941602“，”title“：”并发MCAPI执行的符号建模“，”display_name“：”MCAPI执行并发的符号建模”，“publication_year”：2011，“publiction_date”：“2011-02-12”，“ids”：{“openalex”：“https://openalex.org/W2110395520“，”doi“：”https://doi.org/10.1145/1941553.1941602“，”mag“：”2110395520“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/1941553.1941602“，”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”：“”https://ntrs.nasa.gov/api/citations/20110012184/downloads/2011002184.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5084543142“，”display_name“：”Topher Fischer“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I100005738“，”display_name“：”杨百翰大学“，”ror“：”https://ror.org/047rhhm47“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I100005738“]｝]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”托弗·费舍尔“，”raw_affiation_strings“：[”美国犹他州普罗沃市杨百翰大学“]，”附属机构“：[｛”raw_affiation_string“：”美国犹他州普罗沃市杨百翰大学“，”institution_ids“：[”https://openalex.org/I100005738“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5005072374“，”display_name“：”Eric Mercer“，”orcid“：”https://orcid.org/0000-0002-2264-2958}，“机构”：[{“id”：https://openalex.org/I100005738“，”display_name“：”杨百翰大学“，”ror“：”https://ror.org/047rhhm47“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I100005738“]}]，”国家“：[“美国”]，”is_corresponding“：false，”raw_author_name“：”Eric Mercer“，”raw _ afiliation_strings“：[”美国犹他州普罗沃市杨百翰大学“]，”affiliations“：[{”raw_ afiliation _string“：”美国犹太教州普罗沃市杨伯翰大学“，”institution_ids“：[https://openalex.org/I100005738“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5047763549“，”display_name“：”Neha Rungta“，”orcid“：”https://orcid.org/0000-0001-5143-8940}，“机构”：[{“id”：https://openalex.org/I1280536761“，”display_name“：”艾姆斯研究中心“，”ror“：”https://ror.org/02acart68“，”country_code“：”US“，”type“：“facility”，”lineage“：[”https://openalex.org/I1280536761","https://openalex.org/I4210124779“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Neha Rungta“，”raw _ afiliation_strings“：[“NASA艾姆斯研究中心，加利福尼亚州莫菲特菲尔德”]，”affiliations“：[{”raw _affiliation_string“：”NASA艾ms研究中心，加州莫菲特菲尔德，美国“，”institution_ids“：[https://openalex.org/I1280536761“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]“apc_list”：null，”apc_payed“：null”，“fwci”：null，”has_fulltext“：false，”cited_by_count：1，“cited_by_percentile_year”：{“min”：69，”max“：76}，”biblio“：{”volume“：nul”，“issue”：空，“first_page”：空，“last_page”：空}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“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.9996，“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.9996，“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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9995，”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/model-checking“，”display_name“：”模型检查“，”score“：0.540821}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.530212}，{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.522544}，{“id”：“https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.521108}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.87987006}，{”id“：”https://openalex.org/C75291252，“wikidata”：https://www.wikidata.org/wiki/Q1315756“，”display_name“：”TRACE（心理语言学）“，”level“：2，”score“：0.65019965}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.59289795｝，｛”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.4988935}，{”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548（网址：https://www.wikidata.org/wiki/Q1414548）“，”display_name“：”Concurrency“，”level“：2，”score“：0.4759752}，{”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.43973866}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.4305102}，{”id“：”https://openalex.org/C164155591，“wikidata”：https://www.wikidata.org/wiki/Q2067766“，”display_name“：”可满足性模理论“，”level“：2，”score“：0.42993605}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.40009317}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.3381339}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/1941553.1941602“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://hdl.handle.net/2060/20110012184，“pdf_url”：https://ntrs.nasa.gov/api/citations/20110012184/downloads/2011002184.pdf，“源”：{“id”：https://openalex.org/S4377196257“，”display_name“：”NASA STI Repository（National Aeronautics and Space Administration）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4210124779“，”host_organization_name“：”美国国家航空航天局“，”host_organization_lineage“：[”https://openalex.org/I4210124779“]，”host_organization_lineage_names“：[”美国国家航空航天局“]，“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://hdl.handle.net/2060/20110012184，“pdf_url”：https://ntrs.nasa.gov/api/citations/20110012184/downloads/2011002184.pdf，“源”：{“id”：https://openalex.org/S4377196257“，”display_name“：”NASA STI Repository（National Aeronautics and Space Administration）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4210124779“，”“host_organization_name”：“美国国家航空航天局”，“host_ordanization_lineage”：[“https://openalex.org/I4210124779“]，”host_organization_lineage_names“：[”美国国家航空航天局“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的机构“，”分数“：0.78，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：5，”referrenced_works“：【”https://openalex.org/W2080703024","https://openalex.org/W2086995121","https://openalex.org/W2125967324","https://openalex.org/W2138966782","https://openalex.org/W2169870841“]，”related_works“：[”https://openalex.org/W4295885746","https://openalex.org/W2810367355","https://openalex.org/W2462966030","https://openalex.org/W2293855260","https://openalex.org/W2155162307","https://openalex.org/W2131919998","https://openalex.org/W2117548279","https://openalex.org/W2005214031","https://openalex.org/W1982981798798","https://openalex.org/W1594074817“]，”ngrams_url“：”https://api.openalex.org/works/W2110395520/ngrams网站“，”abstract_inverted_index“：｛”不适当“：[0]，”use“：[1,25,44,66]，”of“：[2,36,49,62,96137147]，”Inter-Process“：[3]，”Communication“：[4]，”（IPC）“：[5]，”in“：[6]，”concurrent“：[7,37,63,89]，”systems“：[8]，”frequency“：[9]，”creates“：[10]，”data“：[11]，”races“：[12]，”which“：[13]，”can“：[14]，“引导”：[15133]，“到”：[16,2131,79113119134]，“错误”：[17]，““：[18,24,65,84132150]，”是“：[19151]，”具有挑战性“：[20]，”发现。“：[22]，“技术”：[23]，“可满足性”：[26]，“模”：[27]，“理论”：[28]，“（SMT）”：[29]，“问题”：[30]，“象征性”：[32,85]，“模型”：[33]，“可能”：[34,88]，“执行”：[35,61,90]，“软件”：[38,64]，“have”：[39]，“recently”：[40]，“been”：[41]，“proposed”：[42]，“for”：[43],59]，“in”：[45153]，“the”：[46,93101114130135138]，“formal”：[47]，“验证“：[48]，”软件。“：[50]，”In“：[51]，”this“：[52]，”work“：[53]，”we“：[P4]，”describe“：[55]，”a“：[56,67110]，”new“：57]，”technology“：[58,74]，”modeling“：[60]，”message“：68]，“passing”：[69]，”API“：[70]，”called“：%71]，”MCAPI。“：[72]，“我们的”：[73]，“使用”：[75]，“an”：[76,81125]，“执行”：[77103]，“跟踪”：[78]，“创建”：[80]，“SMT”：[82115]，“问题”：[83116]，“模型”：[86145]，“全部”：[87]，“和”：[91]，“遵循”：[92]，“相同”：[94]，“序列”：[95]，“条件”：[97]，“分支”：[98]，“结果”：[99]，“as”：[100]，“provided”：[102]，“trace。“：[104]，“我们”：[105140]，“检查”：[106]，“如果”：[107]，“那里”：[108]，“存在”：[109]，“满足”：[111]，“分配”：[1112126]，“有”：[117]，“尊重”：[118]，“特定”：[120]，“安全”：[121]，“属性”。“：[122]，”如果“：[123]，”这样的“：[124]，”存在，“：[127]，”它“：[128]，”提供“：[129]，”条件“：[131]，”违反“：[136]，”属性。“：[139]，”显示“：[141]，”如何“：[142]，”我们的“：[143]，”方法“：[144]，”行为“：[146]，”MCAPI“：[148]，”应用程序“：[149]，”忽略“：[152]，”先前“：[154]，”发布“：[155]，”技术。“：[156]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2110395520“，”counts_by_year“：[{”年“：2013，”cited_by_count“：1}]，”更新日期“：”2024-06-25T01:59:33.797885“，”创建日期“：“2016-06-24”}