أرسل هذا في رسالة قصيرة: Precise verification of C programs