Tópico · runtime-verification

runtime-verification

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

Repositórios

Total de estrelas

1.410

Média de estrelas

705

Participação

0,00%

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

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com runtime-verification.

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

#1
copilot ↗@Copilot-LanguageHaskell
Um framework de verificação em tempo de execução baseado em fluxo para gerar código C de tempo real rígido.
★ 833+0Variação de estrelas nos últimos 7 dias
#2
ogma ↗@nasaHaskell
Gerador de monitores de tempo de execução para aplicações de voo e robótica.
★ 577+2Variação de estrelas nos últimos 7 dias