1. N. Alchemy. 2019. A short history of smart contract hacks on ethereum: A.k.a. why you need a smart contract security audit.
2. Formal Verification of Functional Requirements for Smart Contract Compositions in Supply Chain Management Systems
3. Sidney Amani, Myriam Bégel, Maksym Bortin, and Mark Staples. 2018. Towards verifying ethereum smart contract bytecode in Isabelle/HOL. In Proc. of the 7th Int. Conf. on Certified Programs and Proofs (CPP18), Vol. 2018-. ACM, 66--77.
4. A model-driven process for engineering a toolset for a formal method
5. Xiaomin Bai, Zijing Cheng, Zhangbo Duan, and Kai Hu. 2018. Formal Modeling and Verification of Smart Contracts. In ACM Int. Conf. Proc. Series. ACM, 322--326.