syntactic methods

... MTM|methods-time-measurement 方法-时间-测量 syntactic methods n.语法方法(结构方法) relaxation methods 张弛法, 弛豫 …

，若是非任务关键系统，一般会使用其他的验证及确认方式，例如句法方法（英语：syntactic methods）等。