机译:具有整数变量线性约束的扩展有限状态机的符号模型检查
Symbolic model checking; CTL; Presburger sentences;
机译:具有整数变量线性约束的扩展有限状态机的符号模型检查
机译:由带有有限输入寄存器的扩展有限状态机组成的系统的符号模型检查算法
机译:具有整数输入寄存器的扩展有限状态机组成的系统符号模型检查算法
机译:使用时间约束使用定时扩展有限状态机建模系统安全规则
机译:使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
机译:基于机器性能检查应用使用统计过程控制和ARIMA预测建模的基于机器性能检查应用的线性加速器的预测质量保证
机译:模型检查具有无界整数变量的并发系统:符号表示,近似和实验结果
机译:优化约束模型的符号模型检验