Analytical Verification of Computational Programs

2018 Engineering and Telecommunication (EnT-MIPT) Pub Date : 2018-11-01 DOI:10.1109/EnT-MIPT.2018.00046

Sergey A. Petrenko, D. D. Stupin

引用次数: 0

Abstract

The criteria for the semantic correctness of computations for controlling key computability properties are determined.

查看原文本刊更多论文

计算程序的分析验证

确定了控制键可计算性的计算的语义正确性准则。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

自引率

0.00%

发文量