采用形式化语言来表达需求，其目的是为了程序的____验证。

采用形式化语言来表达需求，其目的是为了程序的____验证。


【正确答案】：

正确性


【题目解析】：

采用形式化语言来表达需求，其目的是为了程序的正确性验证。