首页 > Term: inductive assertion method
inductive assertion method
A proof of correctness technique in which assertions are written describing program inputs, outputs, and intermediate conditions, a set of theorems is developed relating satisfaction of the input assertions to satisfaction of the output assertions, and the theorems are proved or disproved using proof by induction.
- 词性: noun
- 行业/领域: 计算机; 软件
- 类别 软件工程
- Organization: IEEE Computer Society
0
创建者
- artemis
- 100% positive feedback