Software
Wir haben eine Liste von 5 kostenlosen und kostenpflichtigen Alternativen zu F* zusammengestellt. Zu den Hauptkonkurrenten gehören Isabelle, Coq. Neben diesen vergleichen Benutzer auch F* mit F# (programming language), Agda, OCaml. Außerdem können Sie hier auch andere ähnliche Optionen ansehen: Sicherheits- und Datenschutzsoftware.
Wir haben eine Liste von 5 kostenlosen und kostenpflichtigen Alternativen zu F* zusammengestellt. Zu den Hauptkonkurrenten gehören Isabelle, Coq. Neben diesen vergleichen Benutzer auch F* mit F# (programming language), Agda, OCaml. Außerdem können Sie hier auch andere ähnliche Optionen ansehen: Sicherheits- und Datenschutzsoftware.
Isabelle ist eine Beweisassistentin für das Schreiben und Überprüfen von mathematischen Beweisen mit dem Computer.
Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
F # ist eine prägnante, ausdrucksstarke und effiziente funktionale und objektorientierte Sprache für.
Agda ist eine abhängig typisierte funktionale Programmiersprache. Es hat induktive Familien, dh
OCaml ist eine industrielle Programmiersprache, die funktionale, zwingende und ...
F * ist eine ML-ähnliche funktionale Programmiersprache zur Programmverifizierung.
F * ist eine ML-ähnliche funktionale Programmiersprache zur Programmverifizierung.
Linux
Mac
Web-Based
Windows
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.
Security & Privacy
Portable
Teilen Sie Ihre Meinung zur Software, hinterlassen Sie eine Bewertung und helfen Sie dabei, sie noch besser zu machen!
Änderungen vorschlagen
Ihr Feedback
Your vote has been counted.
Do you have experience using this software?
