Modular verification of interactive systems with an application to biology

DOI10.1016/J.ENTCS.2010.12.006MaRDI QIDQ5404087zbMATH OpenOpenAlexWikidataFDO

Authors Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo

Publication date 21 March 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2010.12.006

zbMATH Keywords

model checkingsystems biologymodular verificationconcurrent interactive systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Systems biology, networks (92C42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Modular verification of interactive systems with an application to biology
• A logical framework for systems biology
• Model checking of biological systems
• Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
• Abstract interpretation based verification of temporal properties for BioAmbients

Cites work

• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 5051639 (Why is no real title available?)
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• BioAmbients: an abstraction for biological compartments
• Brane Calculi
• Formal molecular biology
• Probabilistic model checking of complex biological pathways
• Synthesis of large dynamic concurrent programs from dynamic specifications

Cited in

(9)

• Proving stabilization of biological systems
• Multiple verification in complex biological systems: the bone remodelling case study
• Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
• A logical framework for systems biology
• Computational Methods in Systems Biology
• Modular verification of qualitative pathway models with fairness
• Modular verification of interactive systems with an application to biology
• Experimental biological protocols with formal semantics
• Mean-field semantics for a process calculus for spatially-explicit ecological models

Describes a project that uses

Uses Software

• BIOCHAM
• Bio-PEPA

This page was built for publication: Modular verification of interactive systems with an application to biology

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