روش‌های صوری: تفاوت میان نسخه‌ها

== مثال ==

# اگر ویژگی‌های صوری (رسمی) در یک عملیات معنایی است، رفتار مشاهده شدهٔ سامانه مجزا می‌تواند با رفتار ویژگی‌ها مقایسه شود (که خودش باید قابل اجرا یا قابل [[شبیه‌سازی]] باشد) به علاوه، دستورهای عملیاتی ویژگی‌ها ممکن است که به کد قابل اجرا از طریق انتقال مستقیم، تبدیل شدنی باشد.

 

== اثبات ==