Figure 2From: Analysis of intercellular signal transduction in the tumor microenvironmentSymbolic Model Checking algorithm. Symbolic Model Checking algorithm uses a Boolean function to represent the transition relation between states implicitly, and the Boolean function is encoded by means of an Ordered Binary Decision Diagram (OBDD).Back to article page