Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
复制标题
工业关键系统的形式化方法
DOI：
10.1007/978-3-642-04570-7_1
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Distefano D
中科院分区：
文献类型：
--
作者：
Distefano D
在与Cristiano Calcagno，Peter O'Hearn和Hongseok Yang的联合工作中，我们介绍了双溯因推理及其在堆操作程序推理中的应用[5]。这个扩展的摘要简要地调查了关键概念，并描述了我们的经验，在应用程序的双向绑架到现实世界的应用程序和系统程序的超过一百万行的代码。
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introducedbi-abductive inferenceand its use in reasoning about heap manipulating programs [5]. This extended abstract briefly surveys the key concepts and describes our experience in the application of bi-abduction to real-world applications and systems programs of over one million lines of code.
登录
查看更多内容
DOI：
--
发表时间：
2005
期刊：
PDPAR@CAV
影响因子：
--
作者：
A. Pnueli;O. Strichman
通讯作者：
O. Strichman
用于提高 Simulink/Stateflow 模型仿真覆盖范围的符号分析
DOI：
--
发表时间：
2008
期刊：
International Conference on Embedded Software
影响因子：
--
作者：
R. Alur;Aditya Kanade;S. Ramesh;K. Shashidhar
通讯作者：
K. Shashidhar
用于增强 Simulink/Stateflow 模型覆盖范围的集成测试生成工具
DOI：
--
发表时间：
2012
期刊：
Design, Automation and Test in Europe
影响因子：
--
作者：
P. Peranandam;Sachin Raviram;M. Satpathy;Anand Yeolekar;Ambar A. Gadkari;S. Ramesh
通讯作者：
S. Ramesh
从 simulink/stateflow 模型走向验证和综合的一步
DOI：
--
发表时间：
2011
期刊：
International Conference on Hybrid Systems: Computation and Control
影响因子：
--
作者：
Karthik Manamcheri;S. Mitra;Stanley Bak;M. Caccamo
通讯作者：
M. Caccamo
用于生成测试模式的稳健搜索算法
DOI：
--
发表时间：
1997
期刊：
International Symposium on Fault-Tolerant Computing
影响因子：
--
作者：
Joao Marques;K. Sakallah
通讯作者：
K. Sakallah