...
机译:有效地检查定时Buechi自动机的空性
CNRS-VERIMAG, Centre Equation, 2 avenue de Vignate, 38610 Gieres, France;
timed automata; symbolic model-checking; on-the fly verification; verification tools;
机译:在仿真图上检查定时Buechi自动机的空性
机译:定时Buchi自动机的有效空度检查
机译:PRISM概率模型检查的进展:变量重新排序,分位数和弱确定性Buechi自动机
机译:定时Buechi自动机的高效即时空虚检查
机译:一种高效的实时分布式计算中间件的模型,该模型结合了细粒度的程序段级别的基于期限的调度策略和基于有效检查点的复制方案。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:Buechi自动机检查空虚算法的比较
机译:模型检查是精细化 - 关联Buechi测试和线性时间时间逻辑