Tópico · proof

proof

Repositórios de código aberto acompanhados marcados com proof, ordenados por estrelas.

Repositórios

8

Total de estrelas

7.070

Média de estrelas

884

Participação

0,00%

Tópicos que aparecem com frequência ao lado de proof no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com proof.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

#1
creusot ↗@creusot-rsRust
O Creusot ajuda você a provar que seu código Rust está correto.
★ 1.834+4Variação de estrelas nos últimos 7 dias
#2
rocq-of-rust ↗@formal-landRocq Prover
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+3Variação de estrelas nos últimos 7 dias
#3
cryptominisat ↗@msoosC++
Um SAT solver avançado
★ 940+1Variação de estrelas nos últimos 7 dias
#4
CreuSAT ↗@sarskoRust
CreuSAT - Um resolvedor SAT formalmente verificado, escrito em Rust e verificado com Creusot.
★ 696+5Variação de estrelas nos últimos 7 dias
#5
agda-stdlib ↗@agdaAgda
A biblioteca padrão do Agda
★ 675+0Variação de estrelas nos últimos 7 dias
#6
l4v ↗@seL4Isabelle
Especificação e provas do seL4
★ 633+3Variação de estrelas nos últimos 7 dias
#7
verdi ↗@uwplseRocq Prover
Um framework para verificação formal de implementações de sistemas distribuídos em Coq
★ 625+0Variação de estrelas nos últimos 7 dias
#8
VST ↗@PrincetonUniversityRocq Prover
Cadeia de Ferramentas de Software Verificada
★ 507+0Variação de estrelas nos últimos 7 dias

← Voltar para os tópicos