inovo_erc721_pbt.pdf
dcc.fc.up.pt · 11,330 words · saved by 1 readers
N/A
FACULDADE DE CIÊNCIAS - Ano Letivo 2020/2021 DEPARTAMENTO DE CIÊNCIA DE COMPUTADORES Projeto Property-based testing of ERC-721 Ethereum smart contracts Isac Daniel de Figueiredo Novo 200403278 Índice 1 Introduction 2 1.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Problem Statement . . . . . . . . . . . . . . . . . . . . . . . .…
saved by
related reading
- The Hitchhiker's Guide to Ethereum - Delphi Digitalmembers.delphidigital.io
- Ethereum Whitepaper | ethereum.orgethereum.org
- What Are Smart Contracts and How Do They Work?academy.binance.com
- How Ethereum and Smart Contracts Work — Distributed Turing Machine with Blockсhain Protection — Vastrikvas3k.com
- How does Ethereum work, anyway?preethikasireddy.com
- Solidity Patternsfravoll.github.io
- A Gentle Introduction to Ethereum Programming, Part 1 - OpenZeppelin blogblog.openzeppelin.com
- Should Ethereum be okay with enshrining more things in the protocol?vitalik.eth.limo
- GitHub - safe-fndn/safe-smart-account: Safe allows secure management of blockchain assets.github.com
- ERC-1155: Multi Token Standardeips.ethereum.org
- The Ethereum Virtual Machine — How does it work? | by Luit | MyCrypto | Mediummedium.com
- REVM Is All You Need. How to build simulated blockchain… | by Solid Quant | Mediummedium.com