Նմանատիպ նյութեր: Guaranteed Verification of Dynamic Systems