أرسل هذا في رسالة قصيرة: Computer aided verification :