University of Florida, Gainesville, USA;
Predicate abstraction; Widening; Model checking;
机译:具有近似逼近细化的谓词抽象
机译:结合谓词和数字抽象进行软件模型检查
机译:通过谓词抽象将定理证明与模型检查相结合
机译:将谓词抽象与fixpoint近似相结合
机译:使用决策程序和谓词抽象进行无限制的系统验证。
机译:通过结合结构分析和时间抽象来挖掘生物医学时间序列。
机译:软件谓词抽象中的细化近似