123
F*

F*

F * ist eine ML-ähnliche funktionale Programmiersprache zur Programmverifizierung.F * kann genaue Programmspezifikationen ausdrücken, einschließlich funktioneller Korrektheitseigenschaften.In F * geschriebene Programme können zur Ausführung in OCaml oder F # übersetzt werden.
F * (ausgesprochen F-Stern) ist eine ML-ähnliche funktionale Programmiersprache, die auf die Programmüberprüfung abzielt.Sein Typensystem umfasst Polymorphismus, abhängige Typen, monadische Effekte, Verfeinerungstypen und eine schwächste Voraussetzungskalkulation.Zusammen ermöglichen diese Funktionen das Ausdrücken präziser und kompakter Programmspezifikationen, einschließlich der Eigenschaften der funktionalen Korrektheit.Der F * -Typ-Checker soll durch eine Kombination aus SMT-Lösung und manuellen Proofs nachweisen, dass Programme ihren Spezifikationen entsprechen.In F * geschriebene Programme können zur Ausführung in OCaml oder F # übersetzt werden ....

Webseite:

Eigenschaften

Kategorien

F*-Alternativen für Windows

F# (programming language)

F# (programming language)

F # ist eine prägnante, ausdrucksstarke und effiziente funktionale und objektorientierte Sprache für .NET, mit der Sie einfachen Code zur Lösung komplexer Probleme schreiben können.
CamDesk

CamDesk

CamDesk ist ein kostenloses Open-Source-Desktop-Webcam-Widget, das als Hausüberwachungsanwendung erstellt wurde.
Coq

Coq

Coq ist ein Proof-Assistent, mit dem Sie mathematische Beweise streng und formal schreiben und vom Computer auf ihre Richtigkeit überprüfen lassen können.
Isabelle

Isabelle

Isabelle ist eine Beweisassistentin für das Schreiben und Überprüfen von mathematischen Beweisen per Computer.
OCaml

OCaml

OCaml ist eine industrielle Programmiersprache, die funktionale, imperative und objektorientierte Stile unterstützt.
Agda

Agda

Agda ist eine abhängig typisierte funktionale Programmiersprache.Es hat induktive Familien, dh Datentypen, die von Werten abhängen, wie z. B. die Art der Vektoren einer bestimmten Länge.
Network Security Toolkit

Network Security Toolkit

Diese bootfähige ISO-Live-CD / DVD (NST Live) basiert auf Fedora.
Cyberwatch

Cyberwatch

Schützen Sie Ihre Server vor IT-Schwachstellen. Cyberwatch erkennt Ihre Schwachstellen und stellt automatisch die entsprechenden Sicherheitskorrekturen bereit.
get2clouds

get2clouds

Es verschlüsselt die Daten zweimal mit RC4-Verschlüsselung und sendet sie über eine sichere Socket-Schicht (https).Diese End-to-End-Verschlüsselung (E2E) macht das Abfangen oder den Zugriff auf die Daten nur dem Benutzer möglich.