Princeton University.;
机译:通过控制的自然语言要求验证,验证和测试COQ中的定时数据流动无功系统
机译:COQ中动态双刺激定理的验证
机译:COQ中的混合形式验证系统,可确保基于国内服务智能合同的可靠性和安全性
机译:经过验证的用于并行程序提取的生成测试聚合Coq库
机译:Coq中基于分离逻辑的程序验证
机译:人类COQ9通过增强4-羟基苯甲酸的辅酶Q生物合成并稳定CoQ-Synthome来拯救coq9酵母突变体
机译:准备好,设置,验证!将HS-to-CoQ应用于真实世界Haskell代码