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-

Alternativas a F* para Linux con licencia comercial

Cyberwatch

Cyberwatch

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