Modular verification of interactive systems with an application to biology
DOI10.1016/J.ENTCS.2010.12.006zbMATH Open1283.68204OpenAlexW2107611262WikidataQ113318348 ScholiaQ113318348MaRDI QIDQ5404087FDOQ5404087
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
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
Formal languages and automata (68Q45) Systems biology, networks (92C42) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Formal molecular biology
- Title not available (Why is that?)
- BioAmbients: an abstraction for biological compartments
- Brane Calculi
- Probabilistic model checking of complex biological pathways
- Title not available (Why is that?)
- Synthesis of large dynamic concurrent programs from dynamic specifications
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
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
Uses Software
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)
