 | מַפְתֵחַכלי ג 'אווה למפתחים שרוצים לאמת קבצים הוכחה |
| הורד עכשיו | |
מַפְתֵחַ דירוג וסיכום
פרסומת
- רישיון:
- GPL
- שם המפרסם:
- Karlsruhe Institute of Technology
- מערכות הפעלה:
- Windows All
- גודל הקובץ:
- 1 KB
מַפְתֵחַ תגים
מַפְתֵחַ תיאור
מפתח הוא תוכנית פשוטה Java שנועדה לעזור לך לאמת תוכניות Java. זה כמעט הוא כלי פיתוח אשר פותח קבצי הוכחה Java ומאמת את התוכן שלהם. היישום יכול debug את קובץ הוכחה אם neccessary. כל זה נעשה בתוך ממשק ידידותי למשתמש, אשר עושה את זה קל לשימוש.
מַפְתֵחַ תוכנה קשורה
