أرسل هذا في رسالة قصيرة: Validate object-oriented models using VDM++