F*

F * یک زبان برنامه نویسی کاربردی شبیه ML است که با هدف تأیید برنامه انجام می شود.F * می تواند مشخصات دقیق را برای برنامه ها ، از جمله ویژگی های صحت عملکردی بیان کند.برنامه هایی که با F * نوشته شده اند برای اجرای می توانند به OCaml یا F # ترجمه شوند.

نرم افزار رایگان
Web
Windows
Mac
Linux

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

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

https://www.fstar-lang.org

امکانات

دسته بندی ها

گزینه های دیگر برای F* برای Debian

Cyberwatch

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