Modular verification of qualitative pathway models with fairness

DOI10.7561/SACS.2013.1.75MaRDI QIDQ4621168zbMATH OpenOpenAlexFDO

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

Publication date 8 February 2019

Published in Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.7561/sacs.2013.1.75

zbMATH Keywords

cellular pathwaysmodel checkingsystems biologyabstractionmodel reductionmodular verification

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Systems biology, networks (92C42)

Recommendations

• Modular verification of interactive systems with an application to biology
• Modular verification of interactive systems with an application to biology
• scientific article; zbMATH DE number 2079827
• On conditions for modular verification in systems of synchronising components
• Probabilistic model checking of complex biological pathways

Cited in

(4)

• Identification of components in biochemical pathways: extensive aqpplication to SBML models
• Modular verification of interactive systems with an application to biology
• Component identification in biochemical pathways
• Model checking with fairness assumptions using PAT

This page was built for publication: Modular verification of qualitative pathway models with fairness

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