F*

F*

F * یک زبان برنامه نویسی کاربردی شبیه ML است که با هدف تأیید برنامه انجام می شود.F * می تواند مشخصات دقیق را برای برنامه ها ، از جمله ویژگی های صحت عملکردی بیان کند.برنامه هایی که با F * نوشته شده اند برای اجرای می توانند به OCaml یا F # ترجمه شوند.
F * (تلفظ F ستاره) یک زبان برنامه نویسی کاربردی شبیه ML است که با هدف تأیید برنامه انجام می شود.سیستم نوع آن شامل پلی مورفیسم ، انواع وابسته ، اثرات monadic ، انواع پالایش و ضعیف ترین محاسبه پیش شرط است.در کنار هم ، این ویژگی ها امکان بیان مشخصات دقیق و کم حجم برای برنامه ها ، از جمله ویژگی های صحت عملکردی را دارند.F * نوع یاب بررسی می کند که برنامه ها با استفاده از ترکیبی از حل SMT و اثبات دستی ، مشخصات آنها را رعایت کنند.برنامه هایی که با F * نوشته شده اند برای اجرا به OCaml یا F # قابل ترجمه هستند ...
f-

سایت اینترنتی:

امکانات

دسته بندی ها

گزینه های F* برای همه سیستم عامل های دارای مجوز

F# (programming language)

F# (programming language)

F # یک زبان عملکردی و شی گرا موجز ، بیان و کارآمد برای NET است که به شما در نوشتن کد ساده برای حل مشکلات پیچیده کمک می کند.
CamDesk

CamDesk

CamDesk یک ویجت وب کم با روباز و آزاد است که به عنوان برنامه نظارت خانگی ایجاد شده است.
Coq

Coq

Coq یک دستیار اثبات است که به شما امکان می دهد اثبات های ریاضی را با روشی دقیق و رسمی بنویسید ، و آنها را در مورد صحت توسط رایانه بررسی کنید.
Isabelle

Isabelle

ایزابل دستیار اثبات نوشتن و بررسی اثبات ریاضی توسط کامپیوتر است.
OCaml

OCaml

OCaml یک زبان برنامه نویسی قدرت صنعتی است که از سبک های عملکردی ، ضروری و شی گرا پشتیبانی می کند.
Agda

Agda

Agda یک زبان برنامه نویسی کاربردی وابسته به تایپ است.این خانواده ها دارای استقرا است ، یعنی انواع داده هایی که به مقادیر وابسته هستند ، مانند نوع بردارهای طول معین.
Network Security Toolkit

Network Security Toolkit

این CD / DVD زنده بوت شده ISO (NST Live) مبتنی بر Fedora است.
Hi Security

Hi Security

سلام امنیت یک آنتی ویروس رایگان کلاس جهانی است که از تلفن اندرویدی شما در برابر حملات ویروس محافظت می کند.
  • نرم افزار رایگان
  • Android
Cyberwatch

Cyberwatch

سرورهای خود را در برابر آسیب پذیری های IT محافظت کنید. Cyberwatch نقاط ضعف شما را تشخیص می دهد و به طور خودکار اصلاحات امنیتی مناسب را مستقر می کند.
get2clouds

get2clouds

این داده ها دو بار با استفاده از رمزگذاری RC4 رمزگذاری می شود و آن را از طریق یک لایه سوکت ایمن (https) می فرستد.این رمزگذاری نهایی (E2E) باعث می شود رهگیری یا دسترسی به اطلاعات غیر از کاربر غیر ممکن باشد.
Masked Cache

Masked Cache

وب سایت رایگان و آسان برای استفاده اجازه می دهد تا کلمه عبور ، نام کاربری ، گواهی نامه های امن و دیگر داده های حساس را به دوستان و همکاران خود تحویل دهید
  • نرم افزار رایگان
  • Web