MT760 Simulation Tool: What a Simulation Can, and Cannot, Verify