formal-verification
Repositórios de código aberto acompanhados marcados com formal-verification, ordenados por estrelas.
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de formal-verification no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com formal-verification.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1★ 3.673+3Variação de estrelas nos últimos 7 dias
- #2★ 1.836+0Variação de estrelas nos últimos 7 dias
- #3★ 1.836+2Variação de estrelas nos últimos 7 dias
- #4
Um verificador estático para Rust, baseado na infraestrutura de verificação Viper.
★ 1.809+2Variação de estrelas nos últimos 7 dias - #5★ 1.190+2Variação de estrelas nos últimos 7 dias
- #6
Ferramenta de verificação formal para Rust: verifique 100% dos casos de execução dos seus programas para criar aplicações mais seguras.
★ 1.161+0Variação de estrelas nos últimos 7 dias - #7★ 949+19Variação de estrelas nos últimos 7 dias
- #8
Uma linguagem de prova com tipos dependentes destinada a tornar possível código bare metal comprovadamente correto para engenheiros de software.
★ 835+0Variação de estrelas nos últimos 7 dias - #9
CreuSAT - Um resolvedor SAT formalmente verificado, escrito em Rust e verificado com Creusot.
★ 698+2Variação de estrelas nos últimos 7 dias - #10
Firewall de consequência para ações de máquinas. O EMILIA Gate verifica a autoridade exata antes de alterações de dinheiro, código, permissões, infraestrutura ou estado regulamentado; o protocolo aberto torna a evidência verificável de forma independente.
★ 650-29Variação de estrelas nos últimos 7 dias - #11
Uma lista de ferramentas e frameworks de verificação de hardware gratuitos e de código aberto
★ 622+1Variação de estrelas nos últimos 7 dias - #12
Uma lista cuidadosamente selecionada de empresas que usam métodos formais de verificação na indústria.
★ 610+1Variação de estrelas nos últimos 7 dias - #13★ 508+1Variação de estrelas nos últimos 7 dias
