Stav dette: (1631) Evaluating the lightweight Currency System using the probabilistic Checking PRISM تقييم نظام العملة الخفيف باستخدام برنامج التحقق الاحتمالي PRISM