formal-methods
Repositórios de código aberto acompanhados marcados com formal-methods, ordenados por estrelas.
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de formal-methods no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com formal-methods.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1★ 9.080+1Variação de estrelas nos últimos 7 dias
- #2★ 3.673+5Variação de estrelas nos últimos 7 dias
- #3★ 1.836-1Variação de estrelas nos últimos 7 dias
- #4★ 1.836+3Variação de estrelas nos últimos 7 dias
- #5
Uma linguagem de especificação executável com ferramentas eficientes baseada na lógica temporal de ações (TLA).
★ 1.654+16Variação de estrelas nos últimos 7 dias - #6★ 946+8Variação de estrelas nos últimos 7 dias
- #7
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 - #8
CreuSAT - Um resolvedor SAT formalmente verificado, escrito em Rust e verificado com Creusot.
★ 698+1Variação de estrelas nos últimos 7 dias - #9
Uma lista cuidadosamente selecionada de empresas que usam métodos formais de verificação na indústria.
★ 610+0Variação de estrelas nos últimos 7 dias - #10★ 508+1Variação de estrelas nos últimos 7 dias
