F*

F*

F * to funkcjonalny język programowania podobny do ML, mający na celu weryfikację programu.F * może wyrażać precyzyjne specyfikacje programów, w tym właściwości poprawności funkcjonalnej.Programy napisane w języku F * mogą zostać przetłumaczone na OCaml lub F # w celu wykonania.
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 F * mogą być przetłumaczone na OCaml lub F # w celu wykonania ....
f-

Stronie internetowej:

cechy

Kategorie

Alternatywy dla F*'a dla wszystkich platform z dowolną licencją

F# (programming language)

F# (programming language)

F # jest zwięzłym, ekspresyjnym i wydajnym językiem funkcjonalnym i obiektowym dla platformy .NET, który pomaga pisać proste kody do rozwiązywania złożonych problemów.
CamDesk

CamDesk

CamDesk to darmowy, open source, stacjonarny widget kamery internetowej, który został stworzony jako aplikacja do nadzoru w domu.
Coq

Coq

Coq jest asystentem dowodów, który pozwala pisać matematyczne dowody w sposób rygorystyczny i formalny oraz sprawdzać poprawność przez komputer.
Isabelle

Isabelle

Isabelle jest asystentką do pisania i sprawdzania matematycznych dowodów komputerowych.
OCaml

OCaml

OCaml jest językiem programowania siły przemysłowej, obsługującym style funkcjonalne, imperatywne i obiektowe.
Agda

Agda

Agda jest funkcjonalnym językiem programowania o typie zależnym.Ma rodziny indukcyjne, tj. Typy danych, które zależą od wartości, takie jak typ wektorów o danej długości.
Network Security Toolkit

Network Security Toolkit

Ta bootowalna płyta CD / DVD na żywo ISO (NST Live) jest oparta na Fedorze.
Hi Security

Hi Security

Hi Security to światowej klasy BEZPŁATNY program antywirusowy chroniący telefon z Androidem przed wszystkimi atakami wirusów.
Cyberwatch

Cyberwatch

Chroń swoje serwery przed lukami w zabezpieczeniach IT. Cyberwatch wykrywa Twoje luki i automatycznie wdraża odpowiednie poprawki bezpieczeństwa.
get2clouds

get2clouds

Dwukrotnie szyfruje dane przy użyciu szyfrowania RC4 i wysyła je za pośrednictwem bezpiecznej warstwy gniazdowej (https).To szyfrowanie typu end-to-end (E2E) uniemożliwia przechwycenie lub dostęp do danych przez osobę inną niż użytkownik.
Masked Cache

Masked Cache

Darmowa i łatwa w użyciu strona internetowa, która umożliwia przekazywanie haseł, nazw użytkowników, bezpiecznych certyfikatów i innych poufnych danych znajomym i współpracownikom