{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,7,24]]，“日期时间”：“2023-07-24T16:30:09Z”，“时间戳”：1690216209046}，“引用计数”：8，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[2018,10]]}，“DOI”：“10.23919\/fmcad.2018.8603017”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2019,1,9]]，“date-time”：“2019-01-09T01:33:52Z”，“timestamp”：1546997632000}，“source”：”Crossref“，”is-referenced-by-count“：3，“title”：[“Deep Neural Networks的形式验证”]，“前缀”：“1023919”，“作者”：[{“给定”：“Nina”，“family”：“Narodytska”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref4”，“first page”：”3“，“article-title”：“Deep Neural Networks的安全性验证”，“author”：“huang”，“year”：“2017”，“journal-title“：”CAV“}”，{“key”：：“pulina”，“year”：“2010”，“journal-title”：“CAV”}，{“key”：“ref6”，“article-title“：“二值化神经网络的验证”，“author”：“cheng”，“年”：“2017”，“日记标题”：“CoRR”}、{“key”：《ref5》，“首页”：“97”，“article-title”：：“CAV”}，{“key”：“ref8”，“article-title”：“神经网络的自动验证：进展、挑战和展望”，“author”：“leofante”，“year”：“2018”，“journal-title“：”CoRR“}，{”key“：”ref7“，”article-title“；“Verifying properties of binarized deep neural networks:Advances，challes and perspectives”，“author”:“narodytska”，“year”:“2017”，“journal-ttitle”：”CoHR：“神经网络的有趣特性”，“author”：“szegedy”，“year”：“2014”，“journal-title”：“ICLRE”}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/CVPR.2017.354”}]，“event”：{“name”：“2018计算机辅助设计（FMCAD）中的形式方法”，“location”：“Austin，TX”，“start”：{“date-parts”：[2018,10,30]}，“end”：{“日期部分”：[[2018,11,2]]}，“container-title”：[“2018计算机辅助设计（FMCAD）中的形式化方法”]，“original-title“：[]，”link“：[{”URL“：”http://\/xplorestaging.ieee.org\/ielx7\/8585253\/8602989\/08603017.pdf？arnumber=8603017“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”ded“：{”date-parts“：[2022,1,25]]，“date-time”：“2022-01-25T23:55:03Z”，“timestamp”：1643154903000}，“score”：1，“resource”：{“primary”：}“URL”：“https:\/\/ieeexplore.iee.org\/document\/8603017\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2018,10]]}”，“references-count“：8，”URL“http://\/dx.doi.org”\/10.23919\/fmcad.2018.8603017“，”关系“：{}，”主题“：[]，”已发布“：{“日期部分”：[[2018,10]]}}