Publisher
Springer Nature Switzerland
Reference13 articles.
1. Certora Technology White Paper. https://docs.certora.com/en/latest/docs/white-paper/index.html. Accessed 20 Feb 2024
2. Alchemy, N.: A short history of smart contract hacks on Ethereum: A.k.a. why you need a smart contract security audit (2019)
3. Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw.: Pract. Exp. 41(2), 155–166 (2011). https://doi.org/10.1002/spe.1019
4. Lecture Notes in Computer Science;N Atzei,2017
5. Bhargavan, K., et al.: Formal verification of smart contracts: short paper. In: Proceedings of the 2016 ACM workshop on Programming Languages and Analysis for Security, pp. 91–96 (2016)