انگلیسیفرانسویاسپانیایی

اجرای سرورها | Ubuntu > | Fedora > |


فاویکون OnWorks

Why-obfuscator - آنلاین در ابر

Why-obfuscator را در ارائه دهنده هاست رایگان OnWorks از طریق Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا کنید.

این دستور Why-obfuscator است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.

برنامه:

نام


چرا - یک ابزار تأیید چند زبانه چند پروور

خلاصه


چرا [ گزینه های ] فایل ها

شرح


چرا یک ابزار تأیید است. برنامه های حاشیه نویسی را به عنوان ورودی می گیرد (در نحو ML یا C) و
شرایط تأیید خروجی برای چندین دستیار اثبات (Coq، PVS، HOL Light، Mizar)
و رویه های تصمیم گیری (haRVey، Simplify).

OPTIONS


-h کمک. لیست کاملی از گزینه های خط فرمان را در اختیار شما قرار می دهد.

AUTHORS


ژان کریستف فیلیتر <filliatr@lri.fr>

با استفاده از خدمات onworks.net به صورت آنلاین از Why-obfuscator استفاده کنید


Ad


Ad