选择您的语言

主页

...

安全和隐私软件

F*

F* 替代品

5

我们整理了一个包含5个免费和付费的F*替代方案的列表。主要竞争对手包括：Isabelle， Coq。除了这些之外，用户还会将F*与F# (programming language)， Agda， OCaml进行比较。此外，您还可以在这里查看其他类似的选项：安全和隐私软件。

我们整理了一个包含5个免费和付费的F*替代方案的列表。主要竞争对手包括：Isabelle， Coq。除了这些之外，用户还会将F*与F# (programming language)， Agda， OCaml进行比较。此外，您还可以在这里查看其他类似的选项：安全和隐私软件。

13

Free Open Source

Isabelle是通过计算机编写和检查数学证明的证明助手。

3

Free Open Source

Coq是证明助手，它使您可以严格而正式地编写数学证明。

25

F# (programming language)

Free Open Source

F＃是的简洁，表达性强且功能强大且面向对象的语言。

4

Agda是一种从属类型的函数式编程语言。它有归纳家庭，即

-15

Free Open Source

OCaml是一种工业强度编程语言，支持功能，命令式和...

0

F*

Free

Open Source

F *是一种类似于ML的功能编程语言，旨在进行程序验证。

F *是一种类似于ML的功能编程语言，旨在进行程序验证。

F* 平台

Linux

Mac

Web-Based

Windows

F* 视频和截图

F* 概览

F *（发音为F星）是一种类似于ML的函数式编程语言，旨在进行程序验证。它的类型系统包括多态性，从属类型，单子效应，细化类型和最弱的前提演算。这些功能结合在一起，可以表达精确而紧凑的程序规范，包括功能正确性属性。 F *类型检查器旨在结合SMT解决方案和手动证明来证明程序符合其规范。可以将用F *编写的程序转换为OCaml或F＃来执行。

F* 特点

Security & Privacy

Portable

最佳F*替代方案

F# (programming language)

分享您对软件的看法，留下评论，帮助使其变得更好！

F* 类别

安全和隐私软件开发软件

F* 标签

formal-methods safety proof-assistant formal formulas verification security-utilities programming-language