University of British Columbia;
theory of equality with uninterpreted functions;
机译:通过半自动建模对软件源代码进行正式验证
机译:在超标量和VLIW微处理器的形式验证中有效使用布尔可满足性过程
机译:使用线性代码作为非线性操作的故障对策:应用于AES和形式验证
机译:自动正式验证计划的VLIW代码
机译:JVM及其字节码验证程序的正式规范和验证。
机译:连接寄存器文件的集群式VLIW架构的优化指令调度和寄存器分配
机译:预定VLIW代码的自动形式验证