Temporal logic based synthesis of experimentally constrained interaction networks (Q6074994)

Formal methods represent a powerful approach to the automation of the construction of computational models of gene regulatory networks (GRNs) and increase their predictive power by considering a set of consistent models that are guaranteed to satisfy known experimental data. Using the synthesis and analysis framework for biological networks called abstract Boolean networks (ABNs) framework supported by RE:IN, we provide translations of experimental observations to temporal logic and semantics of ABNs, enabling us to use off-the-shelf model checking tools and algorithms. An initial prototype implementation we have developed demonstrates this is a gainful approach, providing speed-up gains for some benchmarks, while also opening the way to study extensions of the experimental observations specification language currently supported in RE:IN by using the rich expressive power of temporal logic. For the entire collection see [Zbl 1425.92004].