أرسل هذا في رسالة قصيرة: Directed reachability for infinite-state systems