أرسل هذا في رسالة قصيرة: Formal specification and validation for pattern scanning