｛“id”：“https://openalex.org/W1494631264“，”doi“：”https://doi.org/10.1109/icfem.1997.630430“，”title“：“使用SPIN对MLSSI发送方和本地缓存进行正式规范和验证”，”display_name“：”使用SPIN对MLSSI发送方和本地高速缓存进行正式说明和验证“，”publication_year“：2002，”publitation_date“：”2002-11-23“，”ids“：{”openalex“：”https://openalex.org/W1494631264“，”doi“：”https://doi.org/10.1109/icfem.1997.630430“，”mag“：”1494631264“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/icfem.1997.630430“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5057134867“，”display_name“：”Milica Barjaktarovic“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I160003610网址“，”display_name“：”威尔克斯大学“，”ror“：”https://ror.org/054nntz49“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I160003610网址“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”M.Barjaktarovic“，”raw _ afiliation_strings“：[“美国宾夕法尼亚州威尔克斯-巴雷威尔克斯大学电气与计算机工程系”]，”affiliations“：[{”raw_ afiliation _string“：”美国宾夕法尼亚州威克斯-巴里威尔克斯大学电子与计算机工程学院”，“机构ID“：[”https://openalex.org/I160003610网址“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5057134867“]，”对应的机构ID“：[”https://openalex.org/I160003610网址“]，”apc_list“：null，”apc _ paid“：null，”fwci“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：0，”citecd_by_percentile_year“：{”min“：0”max“：60}，”biblio“：{volume”：null、“issue”：null、“first_page”：null}、“last_page”：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9915，“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.9915，“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/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9901，”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/T10927“，”display_name“：”在线环境中的信任和声誉系统“，”score“：0.9896，”subfield“：{”id“：”https://openalex.org/subfields/3312“，”display_name“：”社会学与政治学“}，”field“：{”id“：”https://openalex.org/fields/33“，”display_name“：”社会科学“}，”域“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/safety-verification（https://openalex.org/keywords/safety-verification）“，”display_name“：”安全验证“，”score“：0.503369}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.502849}]，”concepts“：[{”id“：”https://openalex.org/C2776329536，“wikidata”：https://www.wikidata.org/wiki/Q948666“，”display_name“：”Promela“，”level“：3，”score“：0.9551114}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8385498}，{”id“：”https://openalex.org/C116253237，“wikidata”：https://www.wikidata.org/wiki/Q1437424“，”display_name“：”正式规范“，”level“：2，”score“：0.70332843}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”Formal methods“，”level“：2，”score“：0.6323979｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.62561613}，{”id“：”https://openalex.org/C198104137，“wikidata”：https://www.wikidata.org/wiki/Q974688“，”display_name“：”通信源“，”level“：2，”score“：0.6214754}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.5259326}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.5255429}，{”id“：”https://openalex.org/C201677973，“wikidata”：https://www.wikidata.org/wiki/Q1209840“，”“display_name”“：”规范语言“，”级别“：2，”分数“：0.5226909}，{”id“：”https://openalex.org/C90069079，“wikidata”：https://www.wikidata.org/wiki/Q1805432“，”display_name“：”时序排序规范语言“，”level“：3，”score“：0.51771355}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.4666303｝，｛”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.4014616}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3567495}，{”id“：”https://openalex.org/C76155785，“wikidata”：https://www.wikidata.org/wiki/Q418“，”display_name“：”Telecommunications“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/icfem.1997.630430“，”pdf_url“：null，”source“：nul，”license“：null:”license_id“：nulse，”version“：null，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nuld，”sustainable_development_goals“：[{”score“：0.48，”display_name“：”Industry，innovation and infrastructure“，”id“：”https://metadata.un.org/sdg/9“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：2，”referrenced_works“：【”https://openalex.org/W1583095677","https://openalex.org/W2014100935“]，”related_works“：[”https://openalex.org/W794225219","https://openalex.org/W2898425611","https://openalex.org/W2592399342","https://openalex.org/W2558572842","https://openalex.org/W2350068048","https://openalex.org/W2313419847","https://openalex.org/W2098273227","https://openalex.org/W2089702347","https://openalex.org/W2047524021","https://openalex.org/W2034589735“]，”ngrams_url“：”https://api.openalex.org/works/W1494631264/ngrams“，”“abstract_inverted_index”：{“我们”：[0,17,26,36106]，“构造”：[1]，“a”：[2,38,50103109]，“形式”：[3,19,71]，“规范”：[4]，“用于”：[5]，“发送”：[6]，“安全”：[7]，“Internet”：[8]，“电子邮件”：[9]，“使用”：[10,30]，“多级”：[11]，“信息”：[12]，“系统”：[13]，“保密”：[14]，倡议“：[15]，”（MISSI）。“：[16]，”已使用“：[18,75]，”语言“：[20]，”PROMELA，“：[21]，”based“：[22]，”on“：[23132]，”Hoare's“：[24]，”CSP。“：[25]，“已验证”：[27]，“the”：[28,55,64,81116123]，“model”：[29,33]，“AT&T’s”：[31]，“automated”：[32]，“checker”：[34]，“SPIN。“：[35]，”提议“：[37]，”软件“：[39，82]，”工程“：[40，83]，”方法“：[41]，”其中“：[42]，”我们“：[43]，”翻译“：[44]，”from“：[45122]，”英语“：[46，65]，”to“：[47，49，76，89]，”伪代码“：[48]，”过程“：[551117]，”代数“：[52]，”规范“：[53，56129]，”验证“：[54102]，”和“：[57，61，79，97，99101126136]，“发现”：[58]，“歧义”：[59]，“遗漏，“：[60]，”错误“：[62]，”in“：[63]，”描述。“：[66]，“This”：[67]，“work”：[68]，“shows”：[69]，“that”：[70138]，“methods”：[72]，“can”：[73]，“be”：[74]，“speed”：[77]，“up”：[78]，“clearify”：[80]，“process”。“：[84]，“It”：[85]，“take”：[86]，“eight”：[87]，“weeks”：[88]，“choose”：[90]，“SPIN”：[91,96]，“interface”：[92]，“severive”：[93]，“tools”，“：[94]，“learn”：[95]，“MISSI，”：[98]，“product”：[100]，“sender”：[104]，“model”。“：[105]，”later“：[107]，”added“：[108]，”local“：[110]，”cache“：[111]，”specification。“：[112]，“The”：[113]，“complexity”：[114]，“of”：[115]，“is”：[118]，“enhanced”：[119]，“by”：[120]，“starting”：[121]，“pure”：[124]，“English-”：[125]，“figure-based”：/127]，“original”：[128]，“which”：[130]，“released”：131]，“many”：[133]，“separated”：%134]，“documents”：[135]，“standards”：%137]，“operate”：[139]，“一起。“：[140]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1494631264“，”counts_by_year“：[]，”updated_date“：”2024-06-25T06:54:44.865800“，”创建日期“：”2016-06-24“}