Guaranteed Verification of Dynamic Systems | lit.salon