{“id”：“https://openalex.org/W2121431238“，”doi“：”https://doi.org/10.109/lics.1998.705679“，”title“：”How to specification and verify the long-time average behavior of probability systems“，”display_name“：”How to speCIfication andverify of the long-way averagement behaviors of probablicial systems“；”publication_year“：2002，”publication_date“：”2002-11-27“，”ids“：{”openalex“：”https://openalex.org/W2121431238“，”doi“：”https://doi.org/10.109/lics.1998.705679“，”mag“：”2121431238“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1998.705679“，”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/A5050777140“，”display_name“：”Luca de Alfaro“，”orcid“：”https://orcid.org/0000-0003-3856-4576}，“机构”：[{“id”：https://openalex.org/I95457486“，”display_name“：”加州大学伯克利分校“，”ror“：”https://ror.org/01an7q238“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I95457486“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”L.de Alfaro“，”raw _ afiliation_strings“：[“美国加州大学伯克利分校EECS系”]，”affiliations“：[{”raw _affiliation_strong“：”美国加州大学柏克莱分校EECS部“，”institution_ids“：[https://openalex.org/I95457486“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5050777140“]，”对应的机构ID“：[”https://openalex.org/I95457486“]，”apc_list“：null，”apc _ paid“：null，”fwci“：4.216，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：40，”citecd_by_percentile_year“：{”min“：92，”max“：93}，”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.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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9991，”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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9964，”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/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.541727}，{”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing-Effort Dependent Models“，”score“：0.50019}]，”concepts“：[{”id“：”https://openalex.org/C176181172，“wikidata”：https://www.wikidata.org/wiki/Q3490301“，”display_name“：”非确定性算法“，”level“：2，”score“：0.90196854}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.8148613}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7411238}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.5453843｝，｛”id“：”https://openalex.org/C43214815，“wikidata”：https://www.wikidata.org/wiki/Q7310987“，”display_name“：”可靠性（半导体）“，”level“：3，”score“：0.5421437}，{”id“：”https://openalex.org/C24404364，“wikidata”：https://www.wikidata.org/wiki/Q7246846“，”display_name“：”算法概率分析“，”level“：3，”score“：0.49082312}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.4362341}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.41445026｝，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3922609}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.32381973}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.1467725}，{”id“：”https://openalex.org/C163258240，“wikidata”：https://www.wikidata.org/wiki/Q25342“，”display_name“：”功率（物理）“，”等级“：2，”分数“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1998.705679“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：number，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：29，“referrenced_works”：[”https://openalex.org/W117768600","https://openalex.org/W138290785","https://openalex.org/W1481465901","https://openalex.org/W1531089277网址","https://openalex.org/W1543526731","https://openalex.org/W1607065182","https://openalex.org/W185090010","https://openalex.org/W1891612005","https://openalex.org/W1907401487","https://openalex.org/W1992008267","https://openalex.org/W2005998857","https://openalex.org/W2020293036","https://openalex.org/W2034883517","https://openalex.org/W2051580064","https://openalex.org/W2079636926","https://openalex.org/W2098432798","https://openalex.org/W2108289439","https://openalex.org/W2112710730","https://openalex.org/W2130208684","https://openalex.org/W2130415189","https://openalex.org/W2153358971","https://openalex.org/W2168605507","https://openalex.org/W4206048737","https://openalex.org/W4206542816","https://openalex.org/W4230164823","https://openalex.org/W4242441073","https://openalex.org/W4244847755","https://openalex.org/W43147964","https://openalex.org/W4377077122“]，”related_works“：[”https://openalex.org/W830096938网址","https://openalex.org/W3149394920","https://openalex.org/W30087777928","https://openalex.org/W2950416039","https://openalex.org/W2288787028","https://openalex.org/W2278329956","https://openalex.org/W2109606716","https://openalex.org/W1996880246","https://openalex.org/W1597181838","https://openalex.org/W1517042805“]，”ngrams_url“：”https://api.openalex.org/works/W2121431238/ngrams“，”abstract_inverted_index“：{”Long-run“：[0]，”average“：[1,9,38,62129]，”properties“：[2,26,63152]，”of“：[3,11,18,64,71,82,96137151153169181]，”概率“：[4,65156161]，”systems“：[5157187]，”refer“：[6]，”to“：[7,23,59,92116125]，”the“：[8,12,69,80100149176]，”behavior“：[10,94]，”系统“：[13]，“测量”：[14]，“超过”：[15]，“a”：[16103108111]，“周期”：[17]，“时间”：[19,43]，“谁的”：[20]，“长度”：[21]，“发散”：[22]，“无穷大”：[24]，“这些”：[25]，“包括”：[27173]，“许多”：[28]，“相关”：[29]，“性能”：[30177]，“和”：[31,411143162178]，“可靠性”：[32179]，“指数”：[33]，“例如”：[34,98185]，“如”：[35,99186]，“系统”：[36170]，“吞吐量”：[37]，“响应”：[39]，“时间”：[40]，“平均值”：[42]，“介于”：[44]，“失败。”：[45]，“In”：[46]，“this”：[47]，“paper”：[48]，“we”：+49,74144]，“argumer”：[50]，“that”：[51,88172]，“current”：[52]，“formal”：[53]，“specification”：[P4,70]，“methods”：[55]，“cannot”：A/56/，“be”：[57,90117]，“used”：[58,91]，“指定”：[60126]，“长期”：[61128]，“系统”：[66]，“收件人”：[67]，“启用”：[68]，“这些”：[72]，“属性”：[73]，“提议”：[75134]，“一个”：[76]，“方法”：[77]，“基于”：[78140]，“关于”：[79141]，“概念”：[81]，“实验”：[83]，“试验”：[84113]，“是”：[85114165]，“标记”：[86]，“图形”：[87]，“可以”：[89]，“描述”：[93]，“模式”：[95]，“兴趣”：[97]，“请求”：[101]，“用于”：[102148]，“资源”：[104]，“following”：[105]，“by”：[106]，“either”：[107]，“grant”：[109]，“or”：[110131]，“rejection.”：[112]，“means”：[115]，“performed”：[118]，“infinally”：[119]，“commery.”：%120]，“it”：[122]，“is”：[123]，“possible”：[124]，“their”：[127189]，“outcome”：[130]，“duration.”：:132]，“We”：%133]，“simple”：[135]，“extensions”：[136]，“temporal”：[138]，“logics”：[139]，“tests”：[142]，“当前”：[145]，“模型检查”：[146]，“算法”：[147]，“验证”：[150]，“有限状态”：[154]，“定时”：[155]，“in”：[158188]，“which”：[159]，“both”：[160]，“非确定性”：[163]，“选择”：[164]，“存在。”：[166]，“The”：[167]，“consideration”：[168]，“models”：[171]，“非确定性”：[174]，“enables”：[175]，“analysis”：[180]，“partially”：[182]，“specified”：[183]，“systems”：[184]，“早期”：[190]，“设计”：[191]，“stages.”：[192]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2121431238“，”counts_by_year“：[{”年“：2020，”cited_by_count“：1}，{”年份“：2019，”cited_by_count”：2}，“{”年度“：2017，”citecd_by_count“：1}，”{“年份”：2015，”citesd_by_count“:2}，，”年“:2014，”citted_by-count“:1}，日期“：”2024-06-24T08:59:55.814073“，”创建日期“：“2016-06-24”}