इसका टेक्स्ट मैसेज भेजे: Computing over-approximations with bounded model checking