Tema · runtime-verification

runtime-verification

Repositorios de código abierto monitorizados etiquetados con runtime-verification, ordenados por estrellas.

Repositorios

Estrellas totales

1408

Estrellas de media

704

Proporción

0,00%

Temas que aparecen con frecuencia junto a runtime-verification en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con runtime-verification.

No hay repositorios nuevos con este tema en los últimos 90 días.

#1
copilot ↗@Copilot-LanguageHaskell
Un framework de verificación en tiempo de ejecución basado en flujos para generar código C de tiempo real estricto.
★ 833+1Variación de estrellas de los últimos 7 días
#2
ogma ↗@nasaHaskell
Generador de monitores en tiempo de ejecución para aplicaciones de vuelo y robótica.
★ 577+1Variación de estrellas de los últimos 7 días