Report on demonstration of environments enabling technical verification in the context of UTM

Summary
Report on demonstration of environments enabling technical verification in the context of UTM