Tópico · tlaplus

tlaplus

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

Repositórios

5

Total de estrelas

4.928

Média de estrelas

986

Participação

0,00%

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

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com tlaplus.

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

#1
quint ↗@quint-coTypeScript
Uma linguagem de especificação executável com ferramentas eficientes baseada na lógica temporal de ações (TLA).
★ 1.654+12Variação de estrelas nos últimos 7 dias
#2
Examples ↗@tlaplusTLA
Uma coleção de especificações TLA⁺ de complexidades variadas.
★ 1.564+5Variação de estrelas nos últimos 7 dias
#3
practical-fm ↗@ligurio
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
#4
apalache ↗@apalache-mcScala
APALACHE: verificador de modelo simbólico para TLA+ e Quint.
★ 596+2Variação de estrelas nos últimos 7 dias
#5
BlockingQueue ↗@lemmyTLA
Tutorial "Semanas de depuração podem poupar horas de TLA+". Cada commit do git introduz um novo conceito => verifique o histórico do git!
★ 506+0Variação de estrelas nos últimos 7 dias

← Voltar para os tópicos