Special Topics in Computational Biology: Formal Methods in Systems Biology Chris Langmead Department of Computer Science Carnegie Mellon University James Faeder Department…