Logiciel
Nous avons compilé une liste de 5 alternatives gratuites et payantes à F*. Les principaux concurrents incluent Isabelle, Coq. En plus de cela, les utilisateurs établissent également des comparaisons entre F* et F# (programming language), Agda, OCaml. Vous pouvez également consulter d'autres choix similaires ici : Logiciels de sécurité et de confidentialité.
Nous avons compilé une liste de 5 alternatives gratuites et payantes à F*. Les principaux concurrents incluent Isabelle, Coq. En plus de cela, les utilisateurs établissent également des comparaisons entre F* et F# (programming language), Agda, OCaml. Vous pouvez également consulter d'autres choix similaires ici : Logiciels de sécurité et de confidentialité.
Isabelle est une assistante de preuve pour l'écriture et la vérification d'épreuves mathématiques par ordinateur.
Coq est un assistant de preuve qui vous permet d'écrire des preuves mathématiques de manière rigoureuse et formelle.
F # est un langage fonctionnel, orienté objet, succinct, expressif et efficace.
Agda est un langage de programmation fonctionnel typé de manière dépendante. Il a des familles inductives, à savoir
OCaml est un langage de programmation de qualité industrielle prenant en charge les fonctions ...
F * est un langage de programmation fonctionnel de type ML destiné à la vérification de programme.
F * est un langage de programmation fonctionnel de type ML destiné à la vérification de programme.
Linux
Mac
Web-Based
Windows
F * (prononcez F star) est un langage de programmation fonctionnel de type ML destiné à la vérification de programme. Son système de types comprend le polymorphisme, les types dépendants, les effets monadiques, les types de raffinement et un calcul de précondition le plus faible. Ensemble, ces fonctionnalités permettent d’exprimer des spécifications précises et compactes pour les programmes, y compris les propriétés d’exactitude fonctionnelle. Le vérificateur de type F * a pour but de prouver que les programmes répondent à leurs spécifications en combinant la résolution SMT et les épreuves manuelles. Les programmes écrits en F * peuvent être traduits en OCaml ou en F # pour exécution.
Security & Privacy
Portable
Partagez votre opinion sur le logiciel, laissez un avis et contribuez à l'améliorer encore davantage !
Proposer des changements
Vos commentaires
Your vote has been counted.
Do you have experience using this software?
