Reachability analysis via orthogonal sets of patterns

DOI10.1016/j.entcs.2018.03.007OpenAlexW2735163028WikidataQ113317573 ScholiaQ113317573MaRDI QIDQ2130568

Kim Quyên Lý, Jerome Feret

Publication date: 25 April 2022

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

zbMATH Keywords

reachability analysisabstract interpretationrule-based models

Mathematics Subject Classification ID

Systems biology, networks (92C42)

Related Items (2)

Proving the absence of unbounded polymers in rule-based models ⋮ Executable biochemical space for specification and analysis of biochemical systems

Uses Software

• BioNetGen

Cites Work

• Unnamed Item
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• Formal molecular biology
• A lattice-theoretical fixpoint theorem and its applications
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Elements of Computational Systems Biology
• Rule-Based Modelling, Symmetries, Refinements
• Abstract Interpretation of Cellular Signalling Networks

This page was built for publication: Reachability analysis via orthogonal sets of patterns