Title: Guaranteed Verification of Dynamic Systems