2 papers
q-bio.OT2019
The Hoare-fol Tool
Maxime Folschette
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…
cs.LO2016
A Hybrid Hoare Logic for Gene Network Models
Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette
The main difficulty when modelling gene networks is the identification of the parameters that govern their dynamics. It is particularly difficult for models in which time is contin…