Maria (reachability analyzer)
ماریہ: ماڈیولر ریچ ایبلٹی اینالائزر سمورتی نظاموں کے لیے رسائی کا تجزیہ کار ہے جو الجبرائی نظام نیٹ (پیٹری نیٹ کا ایک اعلی سطحی ورژن) کو اپنی ماڈلنگ رسمی حیثیت کے طور پر استعمال کرتا ہے۔ بیرونی روابط پیٹری نیٹ