Tools; Facebook; Model checking; Computational modeling; Complexity theory; Analytical models; Databases;
机译:第十六届国际验证,模型检验和抽象解释会议特刊
机译:模型检查和抽象解释是高级程序分析技术的基础:TACAS 2009的部分论文
机译:有关验证,模型检查和抽象解释的特殊部分的序言
机译:大型C码条的有界模型检查和抽象解释
机译:Unbounded-2-bounded:两阶段近似,用于模型检查无穷大直到概率系统的性质。
机译:Bio-ModelChecker:使用有限约束满意度将观察到的行为与生物网络的先验知识无缝整合
机译:摘要切片:一种基于摘要解释和模型检查的程序切片新方法