INRIA Rennes - Bretagne Atlantique, Prance;
INRIA Rennes - Bretagne Atlantique, Prance;
INRIA Rennes - Bretagne Atlantique, Prance;
机译:使用逻辑框架进行SMT证明检查
机译:具有单例类型和证明不相关性的类型理论的模块化类型检查算法
机译:快速近似的概率检验证明
机译:COQ内部快速反射检查的模块化SMT校样
机译:高效的SMT解决方案,用于硬件模型检查。
机译:GsMTx4对巨原生质球由内而外贴片中细菌机械敏感通道的影响
机译:模块化SMT证明,可在Coq内部进行快速反射检查
机译:可扩展且准确的基于smT的数据流系统模型检测。