首页> 外文OA文献 >Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays

【2h】

Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays

机译：精确和自动的基于合同的推理，用于验证和认证带有数组的程序的信息流属性

页面导航

著录项
相似文献
相关主题

著录项

作者
Torben Amtoft; John Hatcliff; Edwin Rodríguez;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Contract-based verification of MATLAB-style matrix programs [J] . Wiik Jonatan, Bostrom Pontus Formal Aspects of Computing . 2016,第1期

机译：基于合同的MATLAB样式矩阵程序验证
2. An Automated Flow for Arithmetic Component Generation in Field-Programmable Gate Arrays [J] . ALASTAIR M. SMITH, GEORGE A.CONSTANTINIDES, PETER Y. K. CHEUNG ACM transactions on reconfigurable technology and systems . 2010,第3期

机译：现场可编程门阵列中算术分量生成的自动流程
3. Precise reasoning for programs using containers [J] . Dillig Isil, Dillig Thomas, Aiken Alex ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2011,第1期

机译：使用容器进行程序的精确推理
4. Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays [C] . Torben Amtoft, rnJohn Hatcliff, rnEdwin Rodriguez Programming languages and systems . 2010

机译：精确和自动的基于合同的推理，用于验证和认证带有数组的程序的信息流属性
5. Machine involvement in formal reasoning: Improving the usability of automated formal assistance and verification systems. [D] . Lapets, Andrei. 2011

机译：机器参与正式推理：提高自动化形式协助和验证系统的可用性。
6. Accurate precise modeling of cell proliferation kinetics from time-lapse imaging and automated image analysis of agar yeast culture arrays [O] . Najaf A Shah, Richard J Laws, Bradley Wardman, 2007

机译：通过琼脂酵母培养物阵列的延时成像和自动图像分析对细胞增殖动力学进行准确精确的建模
7. Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays [O] . Torben Amtoft, John Hatcliff, Edwin Rodríguez 2010

机译：基于合同的精确自动推理，用于验证和验证带有数组的程序的信息流属性
8. Formal Verification of Properties of Digital Systems Using an Automated Reasoning System [R] . Kljaich, J., Wojcik, A. S., Smith, B. T. 1986

机译：用自动推理系统对数字系统属性的形式验证

Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays

著录项

相似文献

相关主题

期刊订阅