soundness proof; verification conditions;
机译:有效构建机器检查的符号协议安全性证明
机译:便携式发电机隔声罩的开发与性能评估
机译:便携式发电机隔声罩的开发与性能评估
机译:有效验证条件发生器的机器检查的声音证明
机译:模块化ACL2的尝试证明:球拍字节码验证程序的健全性。
机译:成人耳鸣的声音疗法(使用放大设备和/或声音发生器)
机译:用于有效验证条件生成器的经过机器检查的健全性证明:技术报告
机译:HGp-a井口发电机可行性证明项目的特殊条件,规范s-00-001