Improving Model Checking with Context Modelling

Figure 7

Context splitting and verification for each partition (subcontext).