أرسل هذا في رسالة قصيرة: Abstractions and formal verification of max-plus linear systems