Software
Nós compilamos uma lista de 5 alternativas gratuitas e pagas para o F*. Os principais concorrentes incluem: Isabelle, Coq. Além disso, os usuários também fazem comparações entre F* e F# (programming language), Agda, OCaml. Além disso, você pode conferir outras opções semelhantes aqui: Software de Segurança e Privacidade.
Nós compilamos uma lista de 5 alternativas gratuitas e pagas para o F*. Os principais concorrentes incluem: Isabelle, Coq. Além disso, os usuários também fazem comparações entre F* e F# (programming language), Agda, OCaml. Além disso, você pode conferir outras opções semelhantes aqui: Software de Segurança e Privacidade.
Isabelle é uma assistente de prova para escrever e verificar provas matemáticas por computador.
Coq é um assistente de prova, que permite escrever provas matemáticas de forma rigorosa e formal ...
O F # é uma linguagem funcional e orientada a objetos sucinta, expressiva e eficiente para.
O Agda é uma linguagem de programação funcional de tipo dependente. Possui famílias indutivas, ou seja,
OCaml é uma linguagem de programação de força industrial que suporta funções funcionais, imperativas e ...
F * é uma linguagem de programação funcional semelhante a ML, destinada à verificação do programa.
F * é uma linguagem de programação funcional semelhante a ML, destinada à verificação do programa.
Linux
Mac
Web-Based
Windows
F * (estrela F pronunciada) é uma linguagem de programação funcional semelhante ao ML, destinada à verificação do programa. Seu sistema de tipos inclui polimorfismo, tipos dependentes, efeitos monádicos, tipos de refinamento e um cálculo de pré-condição mais fraco. Juntos, esses recursos permitem expressar especificações precisas e compactas para programas, incluindo propriedades funcionais de correção. O verificador de tipo F * visa provar que os programas atendem às suas especificações usando uma combinação de solução SMT e provas manuais. Programas escritos em F * podem ser traduzidos para OCaml ou F # para execução.
Security & Privacy
Portable
Compartilhe sua opinião sobre o software, deixe uma avaliação e ajude a torná-lo ainda melhor!
Sugerir alterações
Seu feedback
Your vote has been counted.
Do you have experience using this software?
