इसका टेक्स्ट मैसेज भेजे : Abstract state machines, alloy, B and Z