Giters

vquelque / master_thesis

"Low-overhead functional property checking for smart-contract systems" - Master's thesis - EPFL/ETHZ - Consensys Diligence

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

"Low-overhead functional property checking for smart-contract systems" - Master's thesis - EPFL/ETHZ - Consensys Diligence

License:MIT License