F*

F*

F * es un lenguaje de programación funcional similar a ML destinado a la verificación del programa.F * puede expresar especificaciones precisas para los programas, incluidas las propiedades de corrección funcional.Los programas escritos en F * se pueden traducir a OCaml o F # para su ejecución.
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 ...
f-

Sitio web:

Caracteristicas

Categorias

Alternativas a F* para todas las plataformas con cualquier licencia

F# (programming language)

F# (programming language)

F # es un lenguaje funcional y orientado a objetos sucinto, expresivo y eficiente para .NET que le ayuda a escribir código simple para resolver problemas complejos.
CamDesk

CamDesk

CamDesk es un widget de cámara web de escritorio gratuito y de código abierto, que se creó como aplicación de vigilancia doméstica.
Coq

Coq

Coq es un asistente de pruebas, que le permite escribir pruebas matemáticas de una manera rigurosa y formal, y hacer que la computadora verifique su corrección.
Isabelle

Isabelle

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

OCaml

OCaml es un lenguaje de programación de fuerza industrial que admite estilos funcionales, imperativos y orientados a objetos.
Agda

Agda

Agda es un lenguaje de programación funcional de tipo dependiente.Tiene familias inductivas, es decir, tipos de datos que dependen de valores, como el tipo de vectores de una longitud dada.
Network Security Toolkit

Network Security Toolkit

Este CD / DVD en vivo ISO de arranque (NST Live) está basado en Fedora.
Hi Security

Hi Security

Hi Security es un antivirus GRATUITO de clase mundial que protege su teléfono Android de todos los ataques de virus.
Cyberwatch

Cyberwatch

Proteja sus servidores de las vulnerabilidades de TI. Cyberwatch detecta sus vulnerabilidades e implementa automáticamente las correcciones de seguridad apropiadas.
get2clouds

get2clouds

Cifra los datos dos veces usando el cifrado RC4 y los envía a través de una capa de conexión segura (https).Este cifrado de extremo a extremo (E2E) hace que la intercepción o el acceso a los datos sean imposibles para cualquier persona que no sea el usuario.
Masked Cache

Masked Cache

Sitio web gratuito y fácil de usar que permite entregar contraseñas, nombres de usuario, certificados seguros y otros datos confidenciales a sus amigos y colegas