Tópico · tla-specification
tla-specification
Repositórios de código aberto acompanhados marcados com tla-specification, ordenados por estrelas.
Repositórios
1
Total de estrelas
609
Média de estrelas
609
Participação
0,00%
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de tla-specification no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com tla-specification.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1
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
