Tópico · model-checker
model-checker
Repositórios de código aberto acompanhados marcados com model-checker, ordenados por estrelas.
Repositórios
1
Total de estrelas
1.869
Média de estrelas
1.869
Participação
0,00%
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de model-checker no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com model-checker.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1
Um verificador de modelos para implementar sistemas distribuídos.
★ 1.869+0Variação de estrelas nos últimos 7 dias
