Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

DOI10.1007/11680093_1MaRDI QIDQ5302876zbMATH OpenOpenAlexFDO

Authors François Fages

Publication date 15 January 2009

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11680093_1

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Biochemistry, molecular biology (92C40)

Recommendations

• Computational Methods in Systems Biology
• Model Revision from Temporal Logic Properties in Computational Systems Biology
• Model checking of biological systems
• A logic of behaviour in context
• Abstract interpretation based verification of temporal properties for BioAmbients

Cited in

(19)

• On robustness computation and optimization in BIOCHAM-4
• Combining refinement and signal-temporal logic for biological systems
• A logic of behaviour in context
• Verification of spatial and temporal modalities in biochemical systems
• A proof theoretic view of spatial and temporal dependencies in biochemical systems
• Temporal abductive reasoning about biochemical reactions
• Verification of linear-time temporal properties for reaction systems with discrete concentrations
• Improving the timed automata approach to biological pathway dynamics
• Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints
• An Analysis for Proving Temporal Properties of Biological Systems
• A model and analysis of the AKAP scaffold
• Modular verification of interactive systems with an application to biology
• Model Revision from Temporal Logic Properties in Computational Systems Biology
• A logical framework for systems biology
• Computational Methods in Systems Biology
• Constrained Kripke structure for identifying parameters of biological models
• Artificial intelligence in biological modelling
• On temporal logic constraint solving for analyzing numerical data time series
• Abstract interpretation based verification of temporal properties for BioAmbients

Describes a project that uses

Uses Software

• NuSMV
• BIOCHAM

This page was built for publication: Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5302876)