Simulation and Verification of Dynamic Systems