Department of Informatics University of Oslo Oslo Norway;
Hoare logic; Multiple contracts; Contract-based verification; Contract-based specification; Adaptation; Unavailable source code; Soundness; Completeness;
机译:高阶并发逻辑中的统一细化和Hoare风格推理
机译:具有(代数)连续的Hoare风格推理
机译:CB-合同:基于案例的建筑合同策略制定推理方法
机译:HOARE-STYLE推理来自多个合同
机译:介绍性的认识论变化的多重表示系统的思维和推理的扎根理论研究。
机译:基于模糊逻辑推理的无人机群多目标跟踪联合传感器选择和功率分配算法
机译:具有高阶控制的Hoare风格推理:连续性和并发性