首页> 外文OA文献 >Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification

【2h】

Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification

机译：将符号模型检查与未解释的功能相结合，以进行乱序的处理器验证

页面导航

著录项
相似文献
相关主题

著录项

作者
Sergey Berezin; Armin Biere; Edmund Clarke; Yunshan Zhu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions [J] . David Currie, Xiushan Feng, Masahiro Fujita, International journal of parallel programming . 2006,第1期

机译：使用符号执行和未解释功能的嵌入式软件验证
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. Combining Symbolic Execution with Model Checking to Verify Parallel Numerical Programs [J] . STEPHEN F. SIEGEL, ANASTASIA MIRONOVA, GEORGE S. AVRUNIN, ACM transactions on software engineering and methodology . 2008,第2期

机译：将符号执行与模型检查相结合以验证并行数值程序
4. Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification [C] . Sergey Berrezin, Armin Biere, Edmund Clarke, International conference on formal methods in Computer-Aided design . 1998

机译：将符号模型检查与未解释功能相结合，以便无序处理器验证
5. Event modeling and verification of chemical processes using symbolic model checking. [D] . Turk, Adam Leslie. 1999

机译：使用符号模型检查对化学过程进行事件建模和验证。
6. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [O] . Gregory Batt, Michel Page, Irene Cantone, -1

机译：使用符号模型检查对监管网络的定性模型进行有效的参数搜索
7. Formal verification of complex out-of-order pipelines by combining model-checking and theorem-proving [O] . Christian Jacobi 2002

机译：通过结合模型检验和定理证明对复杂的无序流水线进行形式验证
8. Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-OrderProcessor Verification [R] . Berezin, S., Biere, A., Clarke, E., 1998

机译：将符号模型检查与未解释函数相结合以进行无序处理器验证

Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification

著录项

相似文献

相关主题

期刊订阅