PROGRAM VERIFICATION BY CALCULATING RELATIONS

机译：通过计算关系进行程序验证

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We show how properties of an interesting class of imperative programs can be verifed by means of relational modelling and symbolic computation.

机译：我们展示了如何通过关系建模和符号计算来验证有趣的命令式程序类的属性。

著录项

来源
《Applied Simulation and Modelling》|2006年|P.151-156|共6页
会议地点
作者
Jacques Carette; Ryszard Janicki; Yun Zhai;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算机仿真;
关键词
modelling; proving program correctness; symbolic computation; recurrence relations;

机译：建模;证明程序正确性;符号计算;递归关系;

相似文献

外文文献
中文文献
专利

1. Effect of Recovery and Recrystallization on the Hall–Petch Relation Parameters in Submicrocrystalline Metals: II. Model for Calculating the Hall–Petch Relation Parameters [J] . V. N. Chuvil’deev, A. V. Nokhrin, M. M. Myshlyaev, Russian Metallurgy(Metally) . 2018,第5期

机译：回收和重结晶对亚微米金属霍尔 - 胶合关系参数的影响：II。计算Hall-Petch关系参数的模型
2. Effect of Recovery and Recrystallization on the Hall–Petch Relation Parameters in Submicrocrystalline Metals: II. Model for Calculating the Hall–Petch Relation Parameters [J] . V. N. Chuvil’deev, A. V. Nokhrin, M. M. Myshlyaev, Russian Metallurgy(Metally) . 2018,第5期

机译：回收和重结晶对亚微米金属霍尔 - 胶合关系参数的影响：II。计算Hall-Petch关系参数的模型
3. Programming and Program-Verification Methods for Low-Voltage Flash Memories Using a Sector Programming Scheme [J] . Katsutaka KIMURA, Toshihiro TANAKA, Masataka KATO, IEICE Transactions on Electronics . 1995,第7期

机译：使用扇区编程方案的低压闪存的编程和程序验证方法
4. PROGRAM VERIFICATION BY CALCULATING RELATIONS [C] . Jacques Carette, Ryszard Janicki, Yun Zhai IASTED International Conference on Applied Simulation and Modelling . 2006

机译：通过计算关系来验证
5. Verification and modification a program for calculating the area of intersection of a cone and voxel. [D] . Ting, Chun-Hsiu. 2010

机译：验证和修改用于计算圆锥体素的相交面积的程序。
6. Verification of the mediation effect of recovery resilience according to the relation between elderly users’ participation in exercise rehabilitation program and their successful aging [O] . Min-soo Cho 2014

机译：根据老年人参加运动康复计划与他们成功的衰老之间的关系验证恢复弹性的调解效果
7. Between functions and relations in calculating programs [O] . Hutton Graham 1992

机译：计算程序中的功能和关系之间
8. Automatic Program Verification III: A Methodology for Verifying Programs, [R] . v.henke, friedrich w. luckham,david c. 1975

机译：自动程序验证III：验证程序的方法，

PROGRAM VERIFICATION BY CALCULATING RELATIONS

摘要

著录项

相似文献

相关主题

期刊订阅