The Hoare-fol Tool
Other Quantitative Biology
2019-12-19 v1
Abstract
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.
Cite
@article{arxiv.1912.08767,
title = {The Hoare-fol Tool},
author = {Maxime Folschette},
journal= {arXiv preprint arXiv:1912.08767},
year = {2019}
}