Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving

Sa'ed Abed, Adnan Rashid, Osman Hasan

Synthetic Biology is an interdisciplinary field that utilizes well-established engineering principles, ranging from electrical, control and computer systems, for analyzing the biol…