CADP; LOTOS; UML Statecharts diagram; model verification;
机译:使用形式化模型的嵌入式系统验证一种基于UML和Maude语言结合使用的方法
机译:使用有限状态模型检查器对状态图进行形式验证
机译:基于Object-Z和状态图的异构形式规范:语义和验证
机译:使用Lotos正式语言正式验证UML StateCharts
机译:用于传达UML状态图的形式化执行语义和严格的分析方法。
机译:消除UMLS同义词库中的循环的方法:天真与正式
机译:带有实时扩展的UML状态图的形式验证