机译:模型检查平面计数器系统和预剥栓算术之间的等价
机译:某些二次词方程的最小解的长度的上界
机译:在平坦的Presburger计数器系统上进行模型检查CTL *
机译:具有长度约束,计数器系统和除数的Presburger算法的二次词方程
机译:利用特征值方法求解与可压缩欧拉方程有关的二次非线性系统的新的大的总变化稳定性。
机译:比较单词和算术方程式中的重复启动效果:无论颜色或响应手的变化如何鲁棒启动功能
机译:模型检查平面计数器系统与预算算术的等价性?
机译:提出的基于半径和字长的浮点运算标准