软件正确性验证相关硕士博士期刊学术论文

软件正确性验证相关论文

首先将软件的UML状态机模型转换为模型检测工具MOCHA的输入语言REACTIVEMODULES,在MOCHA中进行正确性验证,利用模型检测工具针对错......

期刊