1. 2020. Solidity — Solidity 0.5.11 documentation. https://solidity.readthedocs.io/en/v0.5.11/ Accessed : June 19, 2022 2020. Solidity — Solidity 0.5.11 documentation. https://solidity.readthedocs.io/en/v0.5.11/ Accessed: June 19, 2022
2. Leonardo Alt and Christian Reitwiessner . 2018. SMT-Based Verification of Solidity Smart Contracts . In Leveraging Applications of Formal Methods, Verification and Validation . Industrial Practice, Tiziana Margaria and Bernhard Steffen (Eds.). Springer International Publishing , Cham . 376–388. isbn:978-3-030-03427-6 Leonardo Alt and Christian Reitwiessner. 2018. SMT-Based Verification of Solidity Smart Contracts. In Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Tiziana Margaria and Bernhard Steffen (Eds.). Springer International Publishing, Cham. 376–388. isbn:978-3-030-03427-6
3. A Survey of Symbolic Execution Techniques
4. Leonardo de Moura and Nikolaj Bjørner . 2008. Z3: An Efficient SMT Solver . In Tools and Algorithms for the Construction and Analysis of Systems . Springer Berlin Heidelberg , Berlin, Heidelberg . 337–340. isbn:978-3-540-78800-3 Leonardo de Moura and Nikolaj Bjørner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, Berlin, Heidelberg. 337–340. isbn:978-3-540-78800-3
5. Ethereum. 2022. SMTChecker and Formal Verification. https://docs.soliditylang.org/en/latest/smtchecker.html Accessed : June 19, 2022 Ethereum. 2022. SMTChecker and Formal Verification. https://docs.soliditylang.org/en/latest/smtchecker.html Accessed: June 19, 2022