Tópico · model-checking

model-checking

Repositórios de código aberto acompanhados marcados com model-checking, ordenados por estrelas.

Repositórios

Total de estrelas

12.303

Média de estrelas

2.051

Participação

0,00%

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

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com model-checking.

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

#1
P ↗@p-orgC#
A linguagem de programação P.
★ 3.670+5Variação de estrelas nos últimos 7 dias
#2
kani ↗@model-checkingRust
Verificador Kani Rust
★ 3.354+20Variação de estrelas nos últimos 7 dias
#3
tlaplus ↗@tlaplusJava
TLC é um verificador de modelos para especificações escritas em TLA+. O TLA+Toolbox é uma IDE para TLA+.
★ 3.019+11Variação de estrelas nos últimos 7 dias
#4
alive2 ↗@AliveToolkitC++
Verificação automática de otimizações do LLVM
★ 1.161+5Variação de estrelas nos últimos 7 dias
#5
apalache ↗@apalache-mcScala
APALACHE: verificador de modelo simbólico para TLA+ e Quint.
★ 595+1Variação de estrelas nos últimos 7 dias
#6
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+1Variação de estrelas nos últimos 7 dias