首页> 外文OA文献 >A formal method for provably correct composition of a real-life processor out of basic components (The APE100 Reverse Engineering Study)

【2h】

A formal method for provably correct composition of a real-life processor out of basic components (The APE100 Reverse Engineering Study)

机译：从基本组件中可证明地正确组合真实处理器的正式方法（apE100逆向工程研究）

页面导航

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

著录项

作者
Egon Börger; Giuseppe Del Castillo;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs [J] . Rajiv Murali, Andrew Ireland Electronic Communications of the EASST . 2012,第10期

机译：E-SPARK：从正式验证的设计中自动生成可能正确的代码
2. Provably Correct On-Chip Communication: A Formal Approach to Automatic Protocol Converter Synthesis [J] . K. AVNIT, V. DSILVA, A. SOWMYA, ACM Transactions on Design Automation of Electronic Systems . 2009,第2期

机译：可能正确的片上通信：自动协议转换器综合的正式方法
3. HIL: A Framework for Compositional FTL Development and Provably-Correct Crash Recovery [J] . Choi Jin-Yong, Nam Eyee Hyun, Seong Yoon Jae, ACM Transactions on Storage . 2018,第4期

机译：HIL：组成FTL开发的框架和可证明的碰撞恢复
4. A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study) [C] . Borger, E., Del Castillo, Engineering of Complex Computer Systems, 1995. Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP, Proceedings., First IEEE International Conference on . 1995

机译：一种正式方法，用于从基本组件中证明可正确校正现实生活中的处理器的组成。（APE100逆向工程研究）
5. A metrics-driven method for assessing reverse engineering tool capabilities used to reverse legacy source code components to design component abstractions. [D] . Moortgat, Jean-Jacques. 1999

机译：一种用于评估逆向工程工具功能的度量驱动的方法，该功能用于逆转旧的源代码组件来设计组件抽象。
6. A Hybrid Process Integrating Reverse Engineering Pre-Repair Processing Additive Manufacturing and Material Testing for Component Remanufacturing [O] . Xinchang Zhang, Wenyuan Cui, Wei Li, 2019

机译：集成了逆向工程修复前处理增材制造和组件再制造材料测试的混合过程
7. A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition [O] . Ralph Jeffords, Constance Heitmeyer, Myla Archer, 2010

机译：一种利用局部细化和组合开发不可纠正的容错系统的形式化方法
8. Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition [R] . Jeffords, R., Heitmeyer, C., Archer, M., 2009

机译：利用局部细化和组合开发不可纠正的容错系统的形式化方法

A formal method for provably correct composition of a real-life processor out of basic components (The APE100 Reverse Engineering Study)

著录项

引文网络

相似文献

相关主题

期刊订阅