Constraint identification using modified Hoare logic on hybrid models of gene networks

DOI10.4230/LIPICS.TIME.2017.5MaRDI QIDQ6486421

Jonathan Behaegel, Maxime Folschette, Jean-Paul Comet

Publication date: 3 February 2023

Published in: 1515.68158 (Search for Journal in Brave)

zbMATH Keywords

gene networksHoare logicconstraint synthesisweakest preconditionlinear hybrid automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Systems biology, networks (92C42)

This page was built for publication: Constraint identification using modified Hoare logic on hybrid models of gene networks