فهرس المقالات model checking حرية الوصول المقاله صفحة الملخص نص كامل 1 - یک هیوریستیک جدید برای تشخیص بن بست در تحلیل ایمنی سیستم های نرم افزاری عین الله پیرا