**Note:** The slides have been revised since the lecture, removing some untruths, adding more about BDDs and exponential distribution, and providing further references.

Symbolic Model Checking: How advanced algorithms test assertions on systems with states than you can imagine possible.

Road Map Review: Shifting between high-level intuitive models and low-level mathematical ones, with multiple choices and analyses.

Continuous Time: Negative exponential distributions and why we use it; starting with Stochastic Petri Nets.

Link: Slides (updated)

### Homework

Read the following short articles for Thursday.

- Lucas Laursen.
*Computational biology: Biological logic.*Nature 462:408–410, 2009. - Jasmin Fisher and Thomas A Henzinger.
*Executable cell biology*Nature Biotechnology 25:1239–1249, 2007. - Nathalie Chabrier and François Fages. Symbolic model checking of biochemical networks. In
*Computational Methods in Systems Biology, Proceedings of the First International Workshop, CMSB 2003.*Lecture Notes in Computer Science 2602, pages 149–162. Springer-Verlag, 2003.