A genetically modified Hoare logic

DOI10.1016/J.TCS.2018.02.003zbMath1423.68163arXiv1506.05887OpenAlexW2963446106MaRDI QIDQ2422014

Gilles Bernot, Z. Khalis, Olivier Roux, Adrien Richard, Jean-Paul Comet

Publication date: 18 June 2019

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1506.05887

zbMATH Keywords

parameter identificationgene regulatory networksHoare logicsoundness and completenessThomas networks

Mathematics Subject Classification ID

Logic in computer science (03B70) Systems biology, networks (92C42)

Related Items (2)

Greening R. Thomas' framework with environment variables: a divide and conquer approach ⋮ Constrained Kripke structure for identifying parameters of biological models

Uses Software

• Ginsim
• GNA
• Leviathan

Cites Work

• Unnamed Item
• Unnamed Item
• Logical identification of all steady states: The concept of feedback loop characteristic states
• Negative circuits and sustained oscillations in asynchronous automata networks
• On the completeness of propositional Hoare logic
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• Necessary conditions for multistationarity in discrete dynamical systems
• Temporal constraints in the logical analysis of regulatory networks
• Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits
• Multistationarity, the basis of cell differentiation and memory. I. Structural conditions of multistationarity and other nontrivial behavior
• Concurrent dynamic logic
• Guarded commands, nondeterminacy and formal derivation of programs
• A Semantic Basis for Program Verification
• Soundness and Completeness of an Axiom System for Program Verification
• Model Checking Gene Regulatory Networks
• Programming Languages and Systems
• Logical Modeling of Biological Systems
• An axiomatic basis for computer programming
• Computational Methods in Systems Biology
• Inadequacy of computable loop invariants

This page was built for publication: A genetically modified Hoare logic