Tópico · verification

verification

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

40 repositórios

#31
ed25519-dalek ↗@dalek-cryptography
ARQUIVADO/MOVIDO: por favor, acesse o novo local
★ 704+0Variação de estrelas nos últimos 7 dias
#32
CreuSAT ↗@sarskoRust
CreuSAT - Um resolvedor SAT formalmente verificado, escrito em Rust e verificado com Creusot.
★ 698+1Variação de estrelas nos últimos 7 dias
#33
Cosette ↗@uwdbLean
Cosette é um solver de SQL automatizado.
★ 686+0Variação de estrelas nos últimos 7 dias
#34
pysmt ↗@pysmtPython
pySMT: Uma biblioteca para manipulação e resolução de fórmulas SMT
★ 638+0Variação de estrelas nos últimos 7 dias
#35
awesome-open-hardware-verification ↗@ben-marshall
Uma lista de ferramentas e frameworks de verificação de hardware gratuitos e de código aberto
★ 622+3Variação de estrelas nos últimos 7 dias
#36
apalache ↗@apalache-mcScala
APALACHE: verificador de modelo simbólico para TLA+ e Quint.
★ 595+3Variação de estrelas nos últimos 7 dias
#37
stp ↗@stpC++
Simple Theorem Prover, um resolvedor SMT eficiente para vetores de bits, ponto flutuante e matrizes.
★ 588+1Variação de estrelas nos últimos 7 dias
#38
witness ↗@in-totoGo
Witness é um framework plugável para gerenciamento de risco na cadeia de suprimentos de software. Ele automatiza, normaliza e verifica a proveniência de artefatos de software.
★ 546+0Variação de estrelas nos últimos 7 dias
#39
karamel ↗@FStarLangOCaml
KaRaMeL é uma ferramenta para extrair programas F* de baixo nível para código C legível
★ 518-1Variação de estrelas nos últimos 7 dias
#40
VST ↗@PrincetonUniversityRocq Prover
Cadeia de Ferramentas de Software Verificada
★ 508+1Variação de estrelas nos últimos 7 dias

← Voltar para os tópicos