Modular verification of qualitative pathway models with fairness

DOI10.7561/SACS.2013.1.75zbMATH Open1424.92015OpenAlexW2073967060MaRDI QIDQ4621168FDOQ4621168

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

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

zbMATH Keywords

cellular pathwaysmodel checkingsystems biologyabstractionmodel reductionmodular verification

Mathematics Subject Classification ID

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

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)