Hub de conteúdo
Este hub reúne 1 artigo publicados pelo Hidra.blog sobre f-star na área de desenvolvimento, tecnologia. A seleção começa por “Conheça F*, a linguagem funcional desenvolvida pela Microsoft Research e Inria para verificação formal de código.…”. Use os links abaixo para comparar os artigos e continuar a pesquisa por assuntos relacionados.
1 artigo com esta tag
Voltar para todos os artigosNavegue pelo contexto
Conheça F*, a linguagem funcional desenvolvida pela Microsoft Research e Inria para verificação formal de código. Aprenda como provar matematicamente a correção de softwares críticos.