محلل سبيكة أداة لتحليل نماذج سبيكة
التحميل الان

محلل سبيكة الترتيب والملخص

محلل سبيكة العلامات

انشاء تحليل ينفذ تحليل نموذج توليد الثبات تنفيذ العملية

محلل سبيكة وصف

أداة لتحليل نماذج سبيكة يعد Anyly Analyzer أداة مجانية ومفتوحة، تم تطويرها لتحليل النماذج المكتوبة في سبائك، وهي لغة نمذجة هيكلية بسيطة تعتمد على منطق الترتيب الأول. يمكن أن يؤدي محلل السبائك إلى إنشاء مثيلات من الثباتات، ومحاكاة تنفيذ العمليات (حتى تلك المحددة ضمنيا)، والتحقق من خصائص المستخدم المحددة من قبل Model.Alloy Analyzer استنادا إلى Kodkod Model.Alloy يطبق Kodkod تقنيات وتفاصيل جديدة للترجمة من العلائقية إلى المنطق المنطقي، مثل الحالات الجزئية التي توفرها المستخدم وتقنية أكثر تعكس التناظرية تعمل في وجود مثيلات جزئية تعسفية. تجول خطوة بخطوة والبرنامج التعليمي من Alloy4 هنا وهنا. متطلبات: Java 1.5 أو الأحدث ما الجديد في هذا الإصدار: يتضمن ترقيم الذرة الجديدة التي يجب أن تجعل UTIL / طلب ترقيم أكثر بديهية؛ تمت ترقيته أيضا إلى أحدث Kodkod، وترقيته إلى SAT4J 2.0.5. يستخدم تصدير PDF ضغط tecniques ونتائج يصل إلى 20x حجم ملف أصغر.

محلل سبيكة برامج ذات صلة