זוהי הפקודה why-config שניתן להריץ בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS
תָכְנִית:
שֵׁם
למה - כלי אימות רב שפות מרובה מוכיחים
תַקצִיר
למה [ אפשרויות ] קבצים
תיאור
למה הוא כלי אימות. זה לוקח תוכניות מוערות כקלט (בתחביר ML או C) ו
מפלט תנאי אימות עבור מספר עוזרי הוכחה (Coq, PVS, HOL Light, Mizar)
ונהלי החלטה (haRVey, Simplify).
אפשרויות
-h עֶזרָה. ייתן לך את הרשימה המלאה של אפשרויות שורת הפקודה.
מחברים
Jean-Christophe פיליאטר <[מוגן בדוא"ל]>
השתמש ב- Why-config באופן מקוון באמצעות שירותי onworks.net
