أرسل هذا في رسالة قصيرة: Computing over-approximations with bounded model checking