इसका टेक्स्ट मैसेज भेजे: Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM /