1. Survey of Existing Tools for Formal Verification.
2. 2022. Ethereum Smart Contracts Vulnerable to Hacks: $4 Million in Ether at Risk. https://www.investopedia.com/news/ethereum-smart-contracts-vulnerable-hacks-4-million-ether-risk/ 2022. Ethereum Smart Contracts Vulnerable to Hacks: $4 Million in Ether at Risk. https://www.investopedia.com/news/ethereum-smart-contracts-vulnerable-hacks-4-million-ether-risk/
3. 2022. gRPC. https://grpc.io/ (Accessed on 08/02/2022). 2022. gRPC. https://grpc.io/ (Accessed on 08/02/2022).
4. 2022. Monty Hall problem - Wikipedia. https://en.wikipedia.org/wiki/Monty_Hall_problem 2022. Monty Hall problem - Wikipedia. https://en.wikipedia.org/wiki/Monty_Hall_problem
5. 2022. Overview · Smart Contract Weakness Classification and Test Cases. https://swcregistry.io/ 2022. Overview · Smart Contract Weakness Classification and Test Cases. https://swcregistry.io/