The Biocharts tool enables biologists and modelers to construct high-level theories and models of biological systems, capturing biological hypotheses, inferred mechanisms, and experimental results within the same framework. Among the key features of the tool are convenient ways to represent several competing theories and the interactive nature of building and running the models using an intuitive, rigorous, scenario-based visual language. The main biological areas we are applying the tool are in developmental biology and stem-cell research.
Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.
Download Biocharts (to run save zip file, unzip and click on Biochart.html)
- H. Kugler, A. Larjo, and D. Harel, Biocharts: A Visual Formalism for Complex Biological Systems, in Journal of the Royal Society Interface, vol. 7, no. 48, pp. 1015-1024, July 2010
- Hillel Kugler, Cory Plock, and Andy Roberts, Synthesizing Biological Theories, in Computer Aided Verification (CAV'11), Springer Verlag, July 2011