أرسل هذا في رسالة قصيرة: NASA formal methods :