Verificação de smart contracts em modelos formais de Blockchain utilizando lógica dinâmica
- Execute o comando 'python controler -args';
- Os argumentos do projeto podem ser encontrados no arquivo help;
-
Notifications
You must be signed in to change notification settings - Fork 2
frame-lab/Verificador-de-Smart-Contracts
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Verificação de smart contracts em modelos formais de Blockchain utilizando lógica dinâmica
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published