أرسل هذا في رسالة قصيرة: A widening approach to multithreaded program verification