 | freeboogie.برنامج Boogie Backend Verifier تم تطويره في Java |
| التحميل الان | |
freeboogie. الترتيب والملخص
الإعلانات
- رخصة:
- MIT License
- السعر:
- FREE
- اسم الناشر:
- Radu Grigore
- موقع ويب الناشر:
- http://code.google.com/u/radugrigore/
- أنظمة التشغيل:
- Mac OS X
- حجم الملف:
- 3.6 MB
freeboogie. العلامات
freeboogie. وصف
تم تطوير برنامج Boogie Verifier في Java Freeboogie هو استنساخ جافا من أفضل مستخدم برنامج في العالم، في عدد قليل من الكلمات، يتحقق من صحة برامج الرقصة. هناك بعض الأم أمام التحليل الثابت / التحقق الذي يستهدف لغة الرقصة: المواصفات #، VCC، B2BPL. في حال تفكر في تنفيذ تحليل ثابت، إلقاء نظرة على Boogie. متطلبات الفأس: جاوة
freeboogie. برامج ذات صلة
