形式化的规格说明可以用数学方法研究、验证。( )
·正确
·错误
出自:佳木斯大学语言治疗学