Synthesis of biological models from mutation experiments
Abstract
Executable biology presents new challenges to formal methods. This paper addresses two problems that cell biologists face when developing formally analyzable models.
Related papers
- Experience report: a Haskell interpreter for cellML ICFP 2007
- Educational Pearl: Biological sequence similarity JFP 2006
- Biological realms in computer science Onward! 2011
- Finding Instability in Biological Models CAV 2014
- Bma: Visual Tool for Modeling and Analyzing Biological Networks CAV 2012
- Configuration synthesis for programmable analog devices with Arco PLDI 2016
- Functional programming through deep time: modeling the first complex ecosystems on earth ICFP 2011
- Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations GPCE 2025