Tema · model-checking

model-checking

Repositorios de código abierto monitorizados etiquetados con model-checking, ordenados por estrellas.

Repositorios

Estrellas totales

12.303

Estrellas de media

2051

Proporción

0,00%

Temas que aparecen con frecuencia junto a model-checking en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con model-checking.

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

#1
P ↗@p-orgC#
El lenguaje de programación P.
★ 3670+5Variación de estrellas de los últimos 7 días
#2
kani ↗@model-checkingRust
Kani Rust Verifier
★ 3354+20Variación de estrellas de los últimos 7 días
#3
tlaplus ↗@tlaplusJava
TLC es un verificador de modelos para especificaciones escritas en TLA+. TLA+ Toolbox es un IDE para TLA+.
★ 3019+11Variación de estrellas de los últimos 7 días
#4
alive2 ↗@AliveToolkitC++
Verificación automática de optimizaciones de LLVM.
★ 1161+5Variación de estrellas de los últimos 7 días
#5
apalache ↗@apalache-mcScala
APALACHE: verificador de modelos simbólicos para TLA+ y Quint
★ 595+1Variación de estrellas de los últimos 7 días
#6
BlockingQueue ↗@lemmyTLA
Tutorial "Weeks of debugging can save you hours of TLA+". Cada commit de git introduce un nuevo concepto; ¡consulta el historial de git!
★ 506+1Variación de estrellas de los últimos 7 días