دسته بندی ها: ابزار های برنامه نویسی, تضمین کیفیت و تست نرم افزار
HOL 7
در HOL کوتاه از عالی منطق مرتبه یک محیط برنامه نویسی است که در آن قضایای می توان ثابت کرد و ابزار اثبات اجرا است.روش تصمیم گیری ساخته شده در و ثابت کننده های نظریه به طور خودکار می تواند ایجاد بسیاری از قضایای ساده است. مکانیسم اوراکل دسترسی به برنامه های خارجی مانند موتورهای SAT و BDD می دهد.HOL 4 به خصوص به عنوان یک...
نرم افزار اخیرا مشاهده
free format Convert Word Excel to Htm html 12 Apr 18
Partition Find and Mount 23 Jan 15
3Com Etherlink III 3C562x Adapter Driver 6 Dec 15
csSimple Convert Video To Images Extraction Tool 16 Apr 15
BugTracker 5-user License 3 May 15
-
Toshiba Portege Z930-C O2Micro Card Reader Driver for Windows 7 64-bit 18 Mar 16
-
WinSnip 16 Apr 15
Bitmami MEAN Stack 17 Feb 15
Softink Smart Broadcasting System 2 Oct 16
-
phpChess Widget 22 Sep 15