A genetically modified Hoare logic
From MaRDI portal
Publication:2422014
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
parameter identificationgene regulatory networksHoare logicsoundness and completenessThomas networks
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
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
