Selecciona tu idioma

Inicio

...

Alternativas a F*

Hemos compilado una lista de 5 alternativas gratuitas y de pago para F*. Los principales competidores incluyen Isabelle, Coq. Además de estos, los usuarios también realizan comparaciones entre F* y F# (programming language), Agda, OCaml. También puedes echar un vistazo a otras opciones similares aquí: Software de seguridad y privacidad.

Isabelle

Free Open Source

Isabelle es una asistente de pruebas para escribir y verificar pruebas matemáticas por computadora.

Coq

Free Open Source

Coq es un asistente de pruebas, que le permite escribir pruebas matemáticas de forma rigurosa y formal ...

F# (programming language)

Free Open Source

F # es un lenguaje funcional y orientado a objetos sucinto, expresivo y eficiente para.

Agda

Agda es un lenguaje de programación funcional de tipo dependiente. Tiene familias inductivas, es decir

-15

OCaml

Free Open Source

OCaml es un lenguaje de programación de fuerza industrial que soporta funcional, imperativo y ...

F*

Free

Open Source

Visitar sitio web

F * es un lenguaje de programación funcional similar a ML destinado a la verificación del programa.

F* Plataformas

Linux

Mac

Web-Based

Windows

F* Video y capturas de pantalla

F* Visión general

F * (pronunciado F star) es un lenguaje de programación funcional similar a ML destinado a la verificación del programa. Su sistema de tipos incluye polimorfismo, tipos dependientes, efectos monádicos, tipos de refinamiento y un cálculo de precondición más débil. Juntas, estas características permiten expresar especificaciones precisas y compactas para los programas, incluidas las propiedades de corrección funcional. El verificador de tipo F * tiene como objetivo demostrar que los programas cumplen con sus especificaciones utilizando una combinación de resolución SMT y pruebas manuales. Los programas escritos en F * se pueden traducir a OCaml o F # para su ejecución.