Towards a Formally Verified EVM in Production Environment

Published in Proceedings of International Conference on Coordination Languages and Models, 2020

Recommended citation: Xiyue Zhang, Yi Li, Meng Sun. "Towards a Formally Verified EVM in Production Environment." Proceedings of International Conference on Coordination Languages and Models. COORDINATION 2020. https://link.springer.com/chapter/10.1007/978-3-030-50029-0_21