Tópico · program-verification

program-verification

Repositórios de código aberto acompanhados marcados com program-verification, ordenados por estrelas.

Repositórios

Total de estrelas

3.190

Média de estrelas

1.595

Participação

0,00%

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

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com program-verification.

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

#1
bap ↗@BinaryAnalysisPlatformOCaml
Plataforma de Análise Binária
★ 2.254+0Variação de estrelas nos últimos 7 dias
#2
aeneas ↗@AeneasVerifOCaml
Uma cadeia de ferramentas de verificação para programas em Rust
★ 948+19Variação de estrelas nos últimos 7 dias