Formal verification involves with proving properties about a system to make sure that the system is not free of bugs. There are two main methods for verification which are called model checking and theorem proving. Most current approaches to systems biology rely on model checking. Model checking is more automatic but not as general and […]

Infectious diseases kill millions of people each year. For example, according to World Health Organization’s estimate, 10 million people contracted tuberculosis in 2017 resulting in 1.6 million deaths, which is approximately one death every twenty seconds . Increasingly, the pathogenic organisms, responsible for these diseases, are evolving to be resistant to drugs already in use […]