发帖
雷达卡
摘要翻译：
本文介绍了一个名为“Hoare逻辑和Dijkstra最弱命题演算在生物调控网络中的应用”的工具，该工具使用带有分支的一阶逻辑算子的路径程序，简称Hoare-fol。该工具是[Bernot et al.，2019]中理论工作的实现，包含以下特征：（1）计算Hoare三元组的最弱前提条件；（2）使用De Morgan定律和关于初始状态的部分知识简化该最弱前提条件；（3）转换成答案集编程以允许所有相容解的求解。
---
英文标题：
《The Hoare-fol Tool》
---
作者：
Maxime Folschette (CRIStAL)
---
最新提交年份：
2019
---
分类信息：
一级分类：Quantitative Biology 数量生物学
二级分类：Other Quantitative Biology 其他定量生物学
分类描述：Work in quantitative biology that does not fit into the other q-bio classifications
不适合其他q-bio分类的定量生物学工作
--
---
英文摘要：
This document presents the tool named ''Application of Hoare Logic and Dijkstra's Weakest Proposition Calculus to Biological Regulatory Networks Using Path Programs with Branching First-Order Logic Operators'' or Hoare-fol for short. This tool consists in an implementation of the theoretical work developed in [Bernot et al., 2019] and contains the following features: (1) computation of the weakest precondition of a Hoare triple, (2) simplification of this weakest precondition using De Morgan laws and partial knowledge on the initial state, and (3) translation into Answer Set Programming to allow a solving of all compatible solutions.
---
PDF链接：
https://arxiv.org/pdf/1912.08767
京公网安备 11010802022788号
