摘要：本文论述了SOC正确性验证所使用的模拟、形式验证技术和静态验证技术等,并讨论了在设计过程中系统级、模块级、门级和物理级各个层次中的验证方法。

摘要：净室软件工程是软件开发的一种形式化方法 ,它使用盒结构规约进行分析和设计建模 ,强调将正确性验证作为发现和消除错误的主要机制 ,从而大大提高了软件的质量。论述了净室软件工程的理论基础及所使用的主要技术 。

摘要：流体力学方程求解的应用程序已成为众多重大工程理论研究与设计的重要工具,其应用程序的正确性验证已成为研究的重要问题.人为解验证技术是基于偏微分方程建模与模拟、很难解析求解的复杂工程应用程序正确性验证的重要手段.文章对流体力学方程组人为解构造方法及在应用程序正确性验证方面的研究进行了综述总结.利用李群约化理论得到流体力学方程几类精确解,给出了人为解构造的准则及流程,三维理想流体力学方程组的人为解,二维平面、柱坐标系下流体方程组的人为解及在欧氏应用程序验证中的应用,流体力学拉氏方程组人为解及在拉氏应用程序验证中的应用.