1) a simplified check
简化校核
2) Simplified fatigue check
简化疲劳校核
3) Simplification of Stability Check
简易稳性校核
4) simple degenerate kernel
简单退化核
5) formal verification
形式化校核
1.
At last, it is indicated that formal verification method is in favor of improving the creditability, reliability and consistency.
概述了形式化校核方法在软件工程的应用情况,分析了国内外关于HLA联邦VV&A方法研究的现状,讨论了形式化方法HLA联邦校核与验证中主要解决的问题,提出了一种基于时态逻辑的HLA联邦形式化校核方法,该方法可以用来校核联邦及其成员的交互设计和逻辑行为运行的正确性和逻辑性。
6) Discussion on enterprises'focus
企业聚核化简论
补充资料：校核
1.校对，核查。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条