इसका टेक्स्ट मैसेज भेजे : Verification of object-oriented software. The key approach :