{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,30]]，“日期-时间”：“2022-03-30T23:54:13Z”，“时间戳”：1648684453408}，“发布者位置”：“查姆”，“引用-计数”：28，“出版商”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783030545482”，“类型”：”打印“}，{“值”：“9783030545499”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2020,1,1]]，“date-time”：“2020-01-01T00:00:00Z”，“timestamp”：1577836800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}0:00:00Z“，”时间戳“：1577836800000}，”内容版本“：”vor“，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2020,1,1]]，“date-time”：“2020-01-01T00:00:00Z”，“timestamp”：1577836800000}，“content-version”：“tdm”，“delay-in-days“：0，”URL“https:\/\www.springer.com\/tdm”}1,1]]，“日期时间”：“2020-01-01T00:00:00Z”，“时间戳”：1577836800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[2020]]}，”DOI“：”10.1007\/978-3-030-54549-9_8“，”类型“book-capter”，“创建”：{“日期部分”：[[2020,8,19]]，“日期时间”：“2020-08-19T19:03:42Z”，“时间戳”：1597863822000}，“页面”：“115-129”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：0，”title“：[”使用符号自动机学习和归纳推理将安全LTL高效转换为DFA“]，”前缀“：”10.1007“，”作者“：[{”给定“：”Georgios“，“family”：“Giantamidis”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Stylianos”，“failment”：“Basagiannis”，“serquence”:“additional”，“abfiliation“：[]{”，{”given“：”Stavros“，”family“：”Tripakis“，“segment”：“additionable”，“filiance”：[]}，“member”：“297”，“published-on-line”：{“date-parts”：[2020,7,31]]}“reference”：[{“key”：“8_CR1”，“非结构化”：“D编程语言。https:\/\/dlang.org\/”}，{“key”：“8_CR2”，“unstructured”：“Spot 1.0 benchmarks.https:\/\/www.lrde.eptia.fr\/~adl\/ijccbs\/”{“密钥”：“9_CR3”，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“首页”：“122”，“doi”：“10.1007\/978-319-46520-3_8”，“volume-ti”tle“：“用于验证和分析的自动化技术”，“作者”：“A Duret Lutz”，“年份”：“2016”，“非结构化”：“Duret Lutz，A.，Lewkowicz，A.，Fauchille，A.，Michaud，T.，Renault，\u00c9.，Xu，L.：Spot 2.0\u2014 LTL和$$\\omega$$自动机操作的框架。In：Artho，C.，Legay，A.，Peled，D.（编辑）ATVA 2016。LNCS，第9938卷，第122\u2013129页。查姆施普林格（2016）。https:\/\/doi.org\/10.1007\/978-3-319-46520-3_8“}，{“问题”：“3”，“密钥”：“8_CR4”，“doi-serted-by”：“出版商”，“首页”：“117”，“doi”：“10.1007\/BF01782772”，“卷”：“2”，“作者”：“B Alpern”，“年份”：“1987”，“非结构化”：“Alpern，B.，Schneider，F.B.：识别安全性和活性。Distribute.Compute.2（3），117 \u2013126（1987）“，”杂志标题“：”发行。计算。“}，{”key“：”8_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”Alur，R.，et al.：语法指导合成。In:2013计算机辅助设计中的形式方法，pp.1\u20138，2013年10月“，”doi“：”10.1109\/FMCAD.2013.6679385“}0890-5401（87）90052-6“，”卷“：”75“，”author“：”D Anguin“，”year“：”1987“，”unstructured“：”Anguin，D：从查询和反例中学习正则集。Inf.计算。75（2），87\u2013106（1987）“，“新闻标题”：“信息计算。“}，{”key“：”8_CR7“，”series-title“：”计算机科学课堂讲稿（人工智能课堂讲稿）“，”doi-asserted-by“：”publisher“，”first page“：“125”，”doi“：”10.1007\/978-3319-11662-4_10“，”volume-title“：“算法学习理论”，”author“：”D Angluin“，”year“：”2014“，”unstructured“：”Angluin，D.，Fisman，D.：学习常规欧米茄语言。In：Auer，P.，Clark，A.，Zeugmann，T.，Zilles，S.（编辑）ALT 2014。LNCS（LNAI），第8776卷，第125\u2013139页。查姆施普林格（2014）。https:\/\/doi.org\/10.1007\/978-3-319-11662-4_10“}，{”key“：”8_CR8“，”doi-asserted-by“：”crossref“，”unstructured“：”Babiak，T.，Kret\u00ednsk\u00fd，M.，Reh\u00e1k，V.，Strejcek，J.：LTL到B\u00fcchi自动机的转换：快速且更具确定性。CoRR，abs\/1201.0682（2012）“，”doi“：”10.1007\/9783-642-28756-5_8“}，{“键”：“8_CR9”，“序列号”：“《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：“359”，“doi”：“10.1007\/3-540-45657-0_29”，《volume-title》：“计算机辅助验证”，“author”：“A Cimatti”，“year”：“2002”，“unstructured”：“Cimatti，A.，et al.：NuSMV 2:符号模型检查的开源工具。收录：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002。LNCS，第2404卷，第359\u2013364页。斯普林格，海德堡（2002）。https:\/\/doi.org\/10.1007\/3-540-45657-0_29“}，{“问题”：“1”，“密钥”：“8_CR10”，“doi-asserted-by”：“出版商”，“首页”：“47”，“doi”：“10.1023\/A:1008615614281”，“卷”：“10”，“作者”：“EM Clarke”，“年份”：“1997”，“非结构化”：“Clarke，E.M.，Grumberg，O.，Hamaguchi，K.：LTL模型检查的另一种方法。系统设计10（1），47\u201371（1997），“journal-title”：“形式方法系统。设计。“}，{”key“：”8_CR11“，”doi-asserted-by“：”crossref“，”unstructured“：”D\u2019Antoni，L.，Veanes，M.：符号自动机和传感器的力量。In：CAV（2017）“，”doi“：”10.1007\/978-3-319-63387-9_3“}”，{“key”：“8_CR12”，“doi-assert-by”：“publisher”，“doi”：“10.1017\/CBO9781139194655”，“volume-title”：“语法推断ence：学习自动机和语法“，”作者：“C de la Higuera”，“year”：“2010”，“unstructured”：“de la Higuera，C.：语法推理：学习自动机和语法。剑桥大学出版社，纽约（2010）“}，{”key“：”8_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”Drews，S.，D\u2019Antoni，L.：学习符号自动机。In:TACAS（2017）“，”doi“：”10.1007\/978-3662-54577-5_10“}Emerson，E.A.，Lei，C.-L.：命题Mu-Calculus片段中的高效模型检查（扩展抽象）。In:LICS（1986）“}，{“key”：“8_CR15”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”53“，“doi”：“10.1007\/3-540-44585-4_6”，“volume-title”：”计算机辅助验证“，”author“：”P Gastin“，”year“2001”，“unstructured”：“Gastin，P.，Oddoux，D.：快速LTL到B\u00fcchi自动翻译。收录：Berry，G.，Comon，H.，Finkel，A.（编辑）CAV 2001。LNCS，第2102卷，第53页\u201365。斯普林格，海德堡（2001）。https:\/\/doi.org\/10.1007\/3-540-44585-4_6“}，{“key”：“8_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“Geilen，M.：关于时序逻辑属性监视器的构造。Electron.Notes Theoret.Compute.Sci.55（2），181\u2013199（2001）。RV 2001，Runtime Verification（与CAV 2001相关）”，“doi”：“10.1016\/S1571-0661（04）00252-X”}，{“key”：“8_CR17”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”263“，“doi”：“10.1007\/978-3642-18275-4_19”，“volume-title”：”验证、模型检查和抽象解释“，“author”：“F Howar”，”年份“2011”，“unstructured”：“Howar，F.，Steffen，B.，Merten，M.：自动学习与自动字母表抽象细化。收录：Jhala，R.，Schmidt，D.（编辑）VMCAI 2011。LNCS，第6538卷，第263\u2013277页。斯普林格，海德堡（2011）。https:\/\/doi.org\/10.1007\/978-3642-18275-4_19“}，{”key“：”8_CR18“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”首页“：”307“，”doi“：”10.1007\/9783-319-11164-3_26“，”volume-title“：“运行时验证”，”author“：”M Isberner“，”年份“：”2014“，”非结构化“：”Isberner，M.，Howar，F.，Steffen，B.：TTT算法：主动自动机学习的无冗余方法。收录：Bonakdarpour，B.，Smolka，S.A.（编辑）RV 2014。LNCS，第8734卷，第307\u2013322页。查姆施普林格（2014）。https:\/\/doi.org\/10.1007\/978-3-319-11164-3_26“}，{“key”：“8_CR19”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“567”，“doi”：“10.1007\/978-30-319-96145-3_30”，“volume-title”：《计算机辅助验证》，“author”：“J K\u0159et\u00ednsk\u00fd”，《年份》：“2018”，“非结构化“：”K\u0159et\u00ednsk\u00fd，J.，Meggendorfer，T.，Sickert，S.，Ziegler，C.：Rabinizer 4:从LTL到你最喜欢的确定性自动机。在：Chockler，H.，Weissenbacher，G.（编辑）CAV 2018。LNCS，第10981卷，第567\u2013577页。施普林格，查姆（2018）。https:\/\/doi.org\/10.1007\/978-3-319-96145-3_30“}，{”issue“：”3“，”key“：”8_CR20“，”doi-asserted-by“：”publisher“，”first page“：“291”，”doi“：”10.1023\/A:1011254632723“，“volume”：“19”，“author”：“O Kupferman”，“year”：“2001”，“unstructured”：“Kupfer曼，O.，Vardi，M.Y.：安全属性的模型检查。形式方法系统Des.19（3），291\u2013314（2001）“，”journal-title“：”形式方法系统。设计。“}，{”key“：”8_CR21“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“74”，“doi”：“10.1007\/3-540-44829-2_5”，“volume-title”：“模型检查软件”，“author”：“T Latvala”，“year”：“2003”，“unstructured”：“Latval，T.：安全属性的有效模型检查。in:Ball，T.，Rajamani，S.K.（eds.）SPIN 2003。LNCS，第2648卷，第74\u201388页。斯普林格，海德堡（2003）。https:\/\/doi.org\/10.1007\/3-540-44829-2_5“}，{“key”：“8_CR22”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“首页”：“485”，“doi”：“10.1007\/978-3642-54862-8_41”，“volume-title”：《系统构建和分析的工具和算法》，“author”：“O Maler”，“年份”：“2014”，“非结构化”：“Maler，O.，Mens，I.-E.：通过大字母学习正规语言。在：\u00c1brah\u00e1m，E.，Havelund，K.（编辑）TACAS 2014。LNCS，第8413卷，第485\u2013499页。斯普林格，海德堡（2014）。https:\/\/doi.org\/10007\/978-3642-54862-8_41“}，{“key”：“8_CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“Maler，O.，Pnueli，A.：关于无限正则集的可学习性。摘自：第四届计算学习理论年度研讨会论文集，COLT 1991，加利福尼亚州旧金山，美国，第128\u2013138页。Morgan Kaufmann Publishers Inc.（1991）“，”DOI“：”10.1016\/B978-1-55860-213-7.50015-8“}，{“key”：“8_CR24”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1007\/978-1-4612-0931-7”，”volume-title“：”反应和并发系统的时序逻辑：规范“，”author“：”Z Manna“，”year“：”1991“，”unstructured“：”Manna，Z.，Pnueli，A.：反应和并发系统的时间逻辑：规范。施普林格，纽约（1991年）。https:\/\/doi.org\/10.1007\/978-1-4612-0931-7“}，{“问题”：“2”，“键”：“8_CR25”，“doi-asserted-by”：“出版商”，“首页”：“163”，“doi”：“10.1016\/j.cosrev.2010.06.002”，“卷”：“5”，“作者”：“KY Rozier”，“年份”：“2011”，“非结构化”：“Rozier，K.Y.：调查：线性时序逻辑符号模型检查。计算科学。第5版（2），163\u2013203（2011）“，”journal-title“：”计算。科学。Rev.“}，{”key“：”8_CR26“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“126”，“doi”：“10.1007\/978-3-540-39724-3_12”，“volume-title”：“正确的硬件设计和验证方法”，“author”：“R Sebastiani”，“year”：“2003”，“unstructured”：“Sebastiani，R.，Tonetta，S.：\u201c更确定\u201d vs.\u201cSmaller\u201d-Buchi自动机，用于有效的LTL模型检查。摘自：Geist，D.，Tronci，E.（编辑）CHARME 2003。LNCS，第2860卷，第126\u2013140页。斯普林格，海德堡（2003）。https:\/\/doi.org\/10.1007\/978-3-540-39724-3_12“}，{”key“：”8_CR27“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“207”，”doi“：”10.1007\/9783-642-05089-3_14“，”volume-title“：“FM 2009:Formal Methods”，“author”：“M Shahbaz”，“year”：“2009”，“unstructured”：“”Shahbaz，M.，Groz，R.：推断粉状机器。收录：Cavalcanti，A.，Dams，D.R.（编辑）FM 2009。LNCS，第5850卷，第207\u2013222页。斯普林格，海德堡（2009）。https:\/\/doi.org\/10.1007\/978-3642-05089-3_14“}，{”issue“：”5“，”key“：”8_CR28“，”doi-asserted-by“：”publisher“，”first-page“：”495“，“doi”：“10.1007\/BF01211865”，“volume”：“6”，“author”：“AP Sistla”，“year”：“1994”，“unstructured”：“Sistla，A.P.：时间逻辑中的安全、活跃性和公平性。形式方面计算。6（5），499 5\u2013511（1994）“，”新闻标题“：”形式方面计算。“}]，”container-title“：[”计算机科学课堂讲稿“，”计算机安全性、可靠性和安全性“]，”original-title”：[]，”link“：[{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3030-54549-9_8“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”相似性检查“}]“，”存放“：{”date-parts“：[[2021,4,24]]，“date-time”：“2021-04-24T02:19:05Z”，“timestamp”：1619230745000}，“score”：1，“resource”：{“primary”：}“URL”：“https:\/\/link.springer.com\/10.1007\/978-3030-54549-9_8”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2020]]}”，“ISBN”：[“9783030545482”，“9783030545499”]，“references-count”：28，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-030-54549-9_8“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”值“：”0302-7743“”，”类型“：”打印“}，{”数值“：”1611-33049“，”类型”：“电子”}]，”主题“：[]，”发布“：{”日期段“：[2020]]}，“断言”：[}“值”：“2020年7月31日“，”订单“：1，”名称“：”first_online“，”标签“：”first online“，“群组”：{“name”：“ChapterHistory“，”label“：”Chapter History”}}，{“value”：“SAFECOMP”，“order”：1，“name”：“conference_acrombit”，“label”：“ConferenceInfo”，“标签”：“会议信息”}，}“值”：“计算机安全、可靠性和安全国际会议”，“订单”：2，“名称”：“onference_name”，“label”：”会议名称“，“group“：{”name“：”ConferenceInfo“，”label“：”会议信息“}}，{”value“：”里斯本“，”order“：3，”name“:”Conference_city“，”标签“：”conferency city“，”group“；{”name:“ConferenceInformo”，“label”：“Conferency Information”}}；{“value”：“Portugal”，“order”：4，“name”：“Conference_country”，“table”：“会议国家”，“group”：{“name”:“ConfenceInfo”，“标签“：”会议信息“}}，{”value“：”2020“，”order“：5，”name“：”Conference_year“，”label“：”Conference_year“，“group”：{“name”：“ConferenceInfo”，“label”：“会议信息”}}、{“value”：“2020年9月15日”，“order”：7，“name”:“Conference_start_date”，”lable“：”会议开始日期“，”group“：value“：”2020年9月18日“，”order“：8，”name“：”conference_end_date“，”label“：”会议结束日期“，”group“：，“name“：”conference_id“，”label“：”conference_url“，”group“：{”name“：“ConferenceInfo”，”lable“：”会议信息“}}，{”value“：”http://\\/safecomp2020.di.fc.ul.pt\/“，”order“：11，”name“；”conference_url“；”label 1，“名称”：“类型”，“标签”：“Type”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”｝｝，｛“value”：“EasyChair”，“order”：2，“name”：“conference_management_system”，“label”：“会议管理系统”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）“}}，{”value“：”116“，”order“：3，”name“：”number_of_submissions_sent_for_Review“，“label”：“发送供评审的提交数”，“group”：{”name“:”ConfEventPeerReviewInformation“，”label“：”同行评审信息“（由会议主办方提供）”}}}、{“value”：“27”，“order”：4，“name”：“”number_of_full_papers_accepted“，”label“：”接受的全文数“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行评审信息（由会议组织者提供）“}}，{”value“：”2“，”order“：5，”name“:”number _of_short_papers_accepted”，“label”：“接受的短文数”，“group”：{“name”：“”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“}}，{”value“：”23%-该值由等式“接受的全文数”/“发送供评审的提交数*100”计算，然后四舍五入为整数。“，”order“：6，”name“：”acceptance_rate_of_Full_Papers“，”标签“：”全文接受率“，”group“：{”name“：”ConfEventPeerReviewInformation“，”label“：”Peer Review Information（由会议组织者提供）“}}，{”value“：”3“，”order“：7，”name“:”average_number_of_reviews_per_paper“，”标签“：”每篇论文的平均评论数“，”google“：同行评议信息（由会议组织者提供）“}}，{“value”：“6.2”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息（由大会组织者提供）”}}external_reviewers_involved“，”label“：”涉及的外部审阅者“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行审阅信息（由会议组织者提供）“}}，”{“value”：“会议实际上是由于新冠肺炎疫情而召开的。”，“order”：10，“name”：“additional_info_on_Review_process”，“label”：“”评审过程附加信息“，”组“：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}]}}