Figure 1: VMTL after startup

Figure 1: VMTL with expanded strategy and input

Figure 1: VMTL after successful proof

Figure 1: Proof details of a dependency graph processor application

Figure 1: VMTL after successful disproof