形式化验证

又称建模或软件模拟,是指用数学建模的方法去验证程序或系统是否存在问题,多应用于硬件领域,近年来逐渐引起软件领域的重视。