Sign up
Sign in
Forgot password?
首页
> Term: correctness proof
correctness proof
A mathematical proof of consistency between a specification and its implementation.
(You must log in first to edit the definition.)
必须登录才能投票
0
0
Add an image
词性：
noun
行业/领域：
电讯
类别
普通通信
Company:
ATIS
产品：
取首字母的缩写词：
同义词：
相关新闻：
文档类型：
Documentation
上下文背景：
term_reference:
definition_reference:
context_reference:
其他参考：
更多详细信息
隐藏详细信息
0
完善词条
添加至 My Glossary
Featured blossaries
H9
Fantasy Football
Sports
22
Terms
14
hotcat
CAT
Languages
0
Terms
1
LuisAragon
Fundamentos de investigacion
Education
4
Terms
1
Nicola Mucelli
Colori
Other
1
Terms
1
Marouane937
The World of Moroccan Cuisine
Food
9
Terms
3
see more blossaries
创建者
KeithC3
(Diamond)
7429
分数
100% positive feedback
© 2025 CSOFT International, Ltd.
(Diamond) 7429 分数 