Model-checking; Model-driven engineering; embedded software; sequential finite-state machines;
机译:针对非确定性有限状态机测试确定性实现时生成候选
机译:验证合作软件:基于SMT的界限模型检查方法,用于确定性调度程序
机译:量子有限状态机的等价检查
机译:具有转换标记的有限状态机的确定性调度的高效模型检查和FMEA分析
机译:一种高效的实时分布式计算中间件的模型,该模型结合了细粒度的程序段级别的基于期限的调度策略和基于有效检查点的复制方案。
机译:使用有限状态机建模自动分类系统疾病和从电子医疗系统数据的持续时间:前瞻性验证研究
机译:带有过渡标签的有限状态机的确定性调度的有效模型检查和FMEA分析
机译:通过抽象计划准备语言(appL)到符号分析实验室(saL)的自动翻译模型检查解决aI planning plus调度问题