单项选择题
以下不是逻辑模型正确性的验证方法的是（）
A.模拟验证B.假设验证C.仿真验证D.形式验证
单项选择题 UC矩阵的正确建立不需要通过的验证是（）
单项选择题 处理逻辑的表达工具不含（）
单项选择题 以下不属于业务流程图的是（）
