تحقق کانونیکال برای سیستم پیوسته