קטגוריות: כלי פיתוח, אבטחת איכות ובדיקות תוכנה
HOL 7
HOL קצר מלהזמין Logic הגבוה הוא סביבת תכנות שבניתן להוכיח משפטים ויישמו כלים הוכחה.נהלי החלטה מובנים וprovers המשפט יכולים באופן אוטומטי להקים רבים משפטים פשוטים. מנגנון אורקל מאפשר גישה לתוכנות חיצוניות כגון מנועי SAT וBDD.HOL 4 מתאים במיוחד כפלטפורמה...
שנצפו לאחרונה תוכנה
Search Index Examiner 22 Jan 15
KnowHowDB Enterprise Edition 14 Jul 15
SWF File Player 31 Dec 14
-
Custom Buttons 7 May 15
-
Lenovo ThinkPad 10 Broadcom WLAN Driver for Windows 10 64-bit 11 Dec 15
EZDataBrowser 1 Jan 15
-
Biostar A770E Ver. 6.4 Realtek LAN Driver for Windows 8/Windows 8.1 15 Mar 16
-
motherboard_driver_raid_via_8237r_bootdisk_2kxp.exe 22 Sep 15
-
Toshiba Portege Z940-B O2Micro Card Reader Driver for Windows 7 64-bit 18 Mar 16
-
Acer Aspire V5-573G Synaptics Touchpad Driver for Windows 8.1 64-bit 13 Dec 15