Model Simulation and Verification Docker