VeraBE/VeriMan

À quoi ça sert

VeraBE/VeriMan est un dépôt GitHub public, principalement en Python. Le dernier relevé indique 35 étoiles et 8 forks. Sujets : blockchain, ethereum, ltl, monitoring, runtime verification, solidity. Lis la documentation, la licence et les issues actuelles avant utilisation.

Analysis tool for Solidity smart contracts. Prototype.

Dépôts GitHub

Étoiles

35

Étoiles gagnées · 7 jours

—

Forks

8

Langage principal

Python

Licence du dépôt

GPL-3.0

Dernier envoi de code

7 nov. 2023

La popularité vient des étoiles. La croissance hebdomadaire nécessite une semaine de relevés locaux. C'est notre collection, pas le classement officiel de GitHub.

Sources et actualité

Les fiches importées citent leurs sources. Une fiche aide à découvrir, sans recommander le service.