首页> 外文OA文献 >Verifying Safety Properties of a PowerPC Microprocessor Using Symbolic Model Checking without BDDs

【2h】

Verifying Safety Properties of a PowerPC Microprocessor Using Symbolic Model Checking without BDDs

机译：使用无BDD的符号模型检查验证powerpC微处理器的安全属性

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Armin Biere; Edmund Clarke; Richard Raimi; Yunshan Zhu;
展开▼
作者单位

展开▼
年度 1999
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. The development of component-level thermal compact models of a C4/CBGA interconnect technology: the Motorola PowerPC 603 and PowerPC 604 RISC microprocessors [J] . Parry J., Rosten H. IEEE transactions on components, packaging, and manufacturing technology. Part A . 1998,第1期

机译：C4 / CBGA互连技术的组件级热紧凑模型的开发：摩托罗拉PowerPC 603和PowerPC 604 RISC微处理器
2. Automatic verification of operating schedules for batch processes using symbolic model checking: Latch model vs. real-time [J] . Jinkyung Kim, Il Moon The Korean journal of chemical engineering . 2010,第6期

机译：使用符号模型检查自动验证批处理过程的运行计划：闩锁模型与实时
3. Safety Property Verification Using Sequential SAT and Bounded Model Checking [J] . Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting (Tim) Cheng, IEEE Design & Test of Computers Magazine . 2004,第2期

机译：使用顺序SAT和有界模型检查进行安全性验证
4. Verifying safety properties of a powerPC~TM microprocessor using symbolic model checking without BDDs [C] . Armin Biere, Edmund Clarke, Richard Raimi, International conference on computer aided verification . 1999

机译：使用BDDS使用符号模型检查验证PowerPC〜TM微处理器的安全性能
5. Symbolic model checking techniques for BDD-based planning in distributed environments. [D] . Goel, Anuj. 2002

机译：用于分布式环境中基于BDD的计划的符号模型检查技术。
6. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [O] . Gregory Batt, Michel Page, Irene Cantone, -1

机译：使用符号模型检查对监管网络的定性模型进行有效的参数搜索
7. Symbolic Model Checking without BDDs [O] . Biere Armin, Cimatti Alessandro, Clarke Edmund M, 1999

机译：没有BDD的符号模型检查
8. Verifying Safety Properties of a PowerPC (Trade Mark) Microprocessor Using Symbolic Model Checking without BDDs [R] . Biere, A. , Clarke, E. , Raimi, R. , 1999

机译：使用无BDD的符号模型检查验证powerpC（商标）微处理器的安全属性

Verifying Safety Properties of a PowerPC Microprocessor Using Symbolic Model Checking without BDDs

著录项

引文网络

相似文献

相关主题

期刊订阅