Formal reasoning about systems biology using theorem proving.
System biology provides the basis to understand the behavioral properties of complex biological organisms at different levels of abstraction.Traditionally, analysing systems biology based wild turkey camp nelson models of various diseases have been carried out by paper-and-pencil based proofs and simulations.However, these methods cannot provide an