...
机译:基于精炼的流水线机器验证组成推理框架
Compositional reasoning; pipelined machine verification; refinement;
机译:基于细化的弹性管道系统验证
机译:扩展有限状态机的成分无阻塞验证框架
机译:基于自动演绎和决策程序的位级流水线机器验证框架
机译:一种完整的组成推理框架,用于有效验证流水线机
机译:使用优化对位级流水线机器进行有效验证。
机译:神经科学信息框架的混合人机资源管理管道
机译:用于高效验证流水线机器的完整组成推理框架