Model Checking Cell Biology
Abstract elided by the publisher.
Related papers
- Modeling biology with solver-aided programming languages GPCE 2013
- Synthesis of biological models from mutation experiments POPL 2013
- Algorithmic Algebraic Model Checking I: Challenges from Systems Biology CAV 2005
- Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data CAV 2015
- Lifting Code Generation of Cardiac Physiology Simulation to Novel Compiler Technology CGO 2023
- Fair Termination for Parameterized Probabilistic Concurrent Systems TACAS 2017
- Model Checking Gene Regulatory Networks TACAS 2015
- SCRATCH: a tool for automatic analysis of dma races PPoPP 2011