VeraBE/VeriMan

Para qué sirve

VeraBE/VeriMan es un repositorio público GitHub, principalmente en Python. El último registro indica 35 estrellas y 8 forks. Temas: blockchain, ethereum, ltl, monitoring, runtime verification, solidity. Lee documentación, licencia e incidencias actuales antes de usarlo.

Analysis tool for Solidity smart contracts. Prototype.

Repositorios GitHub

Estrellas

35

Estrellas ganadas · 7 días

—

Forks

8

Lenguaje principal

Python

Licencia del repositorio

GPL-3.0

Último envío de código

7 nov 2023

La popularidad se basa en estrellas. El crecimiento semanal requiere una semana de registros locales. Es nuestra colección, no la lista oficial de tendencias de GitHub.

Fuentes y actualización

Los registros importados enlazan a sus fuentes. Una ficha ayuda a descubrir, no es una recomendación.