机译:通过一阶优化来验证功能程序的关系属性
University of Tokyo, Japan;
University of Tokyo, Japan;
University of Tokyo, Japan;
Automated verification; Higher-order functional language; Refinement types;
机译:在Isabelle / HOL中编程和验证声明性一阶证明人
机译:高阶程序关系验证的类型系统(特邀演讲)
机译:并发程序的关系式过程间验证
机译:通过一阶细化验证功能计划的关系属性
机译:定时改进用于验证实时对象代码程序
机译:成人出生神经元功能特性的发展与完善
机译:序列操纵程序功能特性的验证者