أرسل هذا في رسالة قصيرة: Verified software: theories, tools, experiments :