机译:CML模型检查:工具开发和工业应用
Univ Fed Pernambuco, Ctr Informat, BR-50740560 Recife, PE, Brazil;
Univ Fed Campina Grande, Campina Grande, Brazil;
Univ York, York YO10 5DD, N Yorkshire, England;
Aarhus Univ, Aarhus, Denmark;
CML; Model checker; Analysis; FORMULA; Operational semantics; SMT;
机译:模型检查CSP-Z:策略,工具支持和工业应用
机译:Mastercam工具处理建模和加工:CADALYST Labs检验Mastercam铣削和实体建模应用程序
机译:基于模型检查和基于模型的工业软件开发测试
机译:基于云的工业自动化应用程序实用模型检查框架
机译:在SAFER案例研究中开发和评估了公式编辑器(一种基于工具的方法来增强软件产品线模型检查中的可重用性)。
机译:pH电极在工业应用中进行的为期一年的长期实验室测试检查其参数稳定性及其对测量不确定度的影响
机译:工业级模型检查:用例,约束,工具和应用