停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

系统设计中的形式方法，第60卷

>主页 >期刊销售 >系统设计中的形式化方法

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第60卷第1期，2022年2月

2017年CAV特刊

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/fmsd/AlurDLS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/AlurDLS22
拉杰夫·阿鲁尔,约瑟夫·迪维蒂,奥马尔·纳瓦罗·莱贾,尼米特·辛哈尼亚:
GPU程序中未缓冲访问的静态检测。 1-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/QuatmannJK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/QuatmannJK22
蒂姆·夸特曼,塞巴斯蒂安·荣格斯,Joost-Pieter Katoen公司:
多目标马尔可夫自动机。 33-86
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/KatzBDJK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/KatzBDJK22
盖伊·卡茨,克拉克·W·巴雷特,大卫·L·迪尔,凯尔·朱利安,默克尔·J·科钦德费尔:
Reluplex：关于深层神经网络的推理演算。 87-116

第60卷第2期，2022年4月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/CabodiCPP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/CabodiCPP22网站
詹皮罗·卡波迪,保罗·卡穆拉蒂,马尔科·帕莱纳,保罗·帕西尼:
带引导精化的插值：在基于SAT的无界模型检查中重新访问增量。 117-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/HenryJM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/HenryJM22
莱奥·亨利,蒂埃里·杰伦,尼古拉斯·马基:
定时系统离线测试的控制策略。 147-194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/TouiliY22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/TouiliY22
泰西尔·图利,新叶:
自修改代码的LTL模型检查。 195-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/ChakrabortyFTV22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/ChakrabortyFTV22
Supratik Chakraborty公司,Dror Fried公司,卢卡斯·塔巴加拉,莫舍·瓦尔迪:
通过输入输出分离进行功能合成。 228-258
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/BloemCES22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/BloemCES22
罗德里克·布隆,哈娜·查克勒,马苏德·易卜拉希米,奥弗·斯特里赫曼:
反应合成中的特定鲁棒性。 259-276
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/CimattiTT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/CimattiTT22
亚历山德罗·西马蒂,春田,斯特凡诺·托内塔:
基于假设的运行时验证。 277-324
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/KourtisDFL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/KourtisDFL22
乔治·库蒂斯（Georgios Kourtis）,克莱尔·狄克逊,迈克尔·菲希尔,阿列克谢·利西萨:
更正：通过一阶时序逻辑对先导/跟随系统进行参数化验证。 325-326

第60卷第3期，2022年6月

特刊《纪念埃德·克拉克》

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/GaoGZ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/GaoGZ22
四川高,奥尔娜·格伦伯格,保罗·祖利亚尼:
埃德蒙·梅尔森·克拉克（Edmund Melson Clarke，Jr.）（1945-2020）。 327-328
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fmsd/RoyC22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/RoyC22
普里塔姆·罗伊,萨加尔·查基:
通过协调验证实现硬件等价性检查的高覆盖率。 329-349
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/AsadiBHFS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/AsadiBHFS22
塞皮德·阿萨迪,马丁·布利查,安蒂·海瓦里宁,格里戈里·费德尤科维奇,娜塔莎·莎莉吉娜:
通过概要修复对基于SMT的程序更改进行验证。 350-380
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/FleuryB22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/FleuryB22
马蒂亚斯·弗勒里,阿明·比尔:
Kissat with Kittens中的采矿定义。 381-404
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/HavelundP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/HavelundP22
克劳斯·哈维隆德,多伦·贝利德:
关于监测线性时间特性。 405-425
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/GaneshSJ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/GaneshSJ22
维杰·加内什,桑吉特·塞希亚,萨默什·贾:
机器学习和逻辑：人工智能的新前沿。 426-451
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/CimattiGMRT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/CimattiGMRT22
亚历山德罗·西马蒂,阿尔贝托·格里乔,塞尔吉奥·莫弗,马可·罗维里,斯特凡诺·托内塔:
验证模理论。 452-481

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关详细信息查看我们的F.A.Q。