Oprogramowanie
Oto lista 5 bezpłatnych i płatnych alternatyw dla F*. Główni konkurenci obejmują Isabelle, Coq. Oprócz tego, użytkownicy porównują także F* z F# (programming language), Agda, OCaml. Ponadto można spojrzeć na inne podobne opcje tutaj: Oprogramowanie zabezpieczeń i prywatności.
Oto lista 5 bezpłatnych i płatnych alternatyw dla F*. Główni konkurenci obejmują Isabelle, Coq. Oprócz tego, użytkownicy porównują także F* z F# (programming language), Agda, OCaml. Ponadto można spojrzeć na inne podobne opcje tutaj: Oprogramowanie zabezpieczeń i prywatności.
Isabelle jest asystentką do pisania i sprawdzania matematycznych dowodów komputerowych.
Coq to asystent dowodu, który pozwala pisać matematyczne dowody w rygorystyczny i formalny ...
F # jest zwięzłym, ekspresyjnym i wydajnym językiem funkcjonalnym i obiektowym.
OCaml jest językiem programowania siły przemysłowej obsługującym funkcjonalne, niezbędne i ...
F * to funkcjonalny język programowania podobny do ML, mający na celu weryfikację programu.
F * to funkcjonalny język programowania podobny do ML, mający na celu weryfikację programu.
Linux
Mac
Web-Based
Windows
F * (wymawiana gwiazda F) to funkcjonalny język programowania podobny do ML, mający na celu weryfikację programu. Jego system typów obejmuje polimorfizm, typy zależne, efekty monadyczne, typy wyrafinowania i najsłabszy rachunek warunków wstępnych. Razem te funkcje umożliwiają precyzyjne i zwięzłe specyfikacje programów, w tym właściwości poprawności funkcjonalnej. Sprawdzanie typu F * ma na celu udowodnienie, że programy spełniają ich specyfikacje za pomocą kombinacji rozwiązania SMT i ręcznych prób. Programy napisane w języku F * mogą zostać przetłumaczone na OCaml lub F # w celu wykonania.
Security & Privacy
Portable
Podziel się swoją opinią na temat oprogramowania, napisz recenzję i pomóż jeszcze bardziej je ulepszyć!
Zaproponuj zmiany
Twoja opinia
Your vote has been counted.
Do you have experience using this software?
