Tópico · bmc

bmc

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

Repositórios

1

Total de estrelas

517

Média de estrelas

517

Participação

0,00%

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

Em ascensão recentemente

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

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

#1
esbmc ↗@esbmcC++
O verificador de modelos limitado por contexto eficiente baseado em SMT (ESBMC)
★ 517+1Variação de estrelas nos últimos 7 dias

← Voltar para os tópicos