aprove. الترتيب والملخص
- موقع ويب الناشر:
- http://aprove.informatik.rwth-aachen.de/
aprove. العلامات
aprove. وصف
بيئة التحقق من برنامج Java ومؤتمر APRVOVVE هو نظام مجاني لاستخدام غير تجاري للإيجار الآلي وإثنية الإنهاء الأعمق لأنظمة إعادة الكتابة (TRSS). علاوة على ذلك، يتعامل APRVOVER أيضا العديد من الشكليات الأخرى، على سبيل المثال، برامج المنطق (PROLOG)، TRSS Modulo AC، البرامج الوظيفية (Haskell 98)، TRSS الشرطي، TRSS الحساسة للسياق، ETC.AProve يعتمد على إطار زوج التبعية ويقدم واسعة مجموعة متنوعة من تقنيات دليل الإنهاء المختلفة. يمكن تكوين هذه التقنيات بحرية ومجتمعة من قبل المستخدم عبر واجهة مستخدم رسومية. علاوة على ذلك، تقدم Apravve أيضا وضعا "تلقائيا بالكامل" حيث يتم تطبيق تقنيات الإنهاء المناسبة في ترتيب ثابت معين غالبا ما تبين أن تكون ناجحة في الممارسة. متطلبات: Java 1.5 أو الأحدث
aprove. برامج ذات صلة